Historien är en fin ironiker —det