Some Christmas math