INESC-ID wishes you a Merry Christmas and a Happy New Year.