A choir is singing, dressed in bowties and tuxes.