On stage, a choir was singing to the music.