In the music, a choir sang songs on the stage.