Man torde efteråt på venstersidan önska,