On stage, a choir is singing to the music.