A band was playing a tune on the stage, and the audience laughed brightly.