Auden's Carol (premiere, 12-16-18)