Hade de emellertid gjort detta,