A choir was singing a song on the stage, and a cheerful song echoed across the court.