There were a lot of people in suits dancing and singing, and the music was cheerful.