On the stage, the choir was singing.