Historien är en fin ironiker—