Och ändå har detta inträffat,