NO OFFICE HOURS DECEMBER 23, 2016

No office hours today, December 23, 2016. Sorry, but have a Merry Christmas!