The music sounded, the actors on stage played, and the people off stage applauded and cheered.