Jingle Bells

Jingle Bells (Extended Version)