The chorus sang on the stage, with cheers and laughter coming from below.