Outside, a group of people danced on the grass and murmured.