A couple days before Dec 25th, I lazily clim"/> A couple days before Dec 25th, I lazily clim"/>