The actors on the stage were playing, and the audience below cheered.