A Merry Christmas and Happy New Year to all STOC members.