There was a sound of music, and the people on and off the stage were making joyful movements, and there were cheers.