On stage, someone was singing, and the audience waved together.