The actors on stage were playing, and a group of people shook their heads to the music.