On the magnificent stage, the actors were performing and the audience laughed.