History, in the end, becomes a form of irony.