On the stage, four men were playing joyous music.