Visserligen hade de gjort detta,