The music sounded, the actors performed on the stage, the audience earnestly watched.