On the stage, the actors were performing in earnest, and the sound and laughter came from below.