A choir was playing on the stage, with an audience watching.