Outside, the dance troupe danced on the lawn, and the audience cheered below.