On the stage was a dance team, and they were dancing mechanically, with laughter from the audience and music from the mechanic.