Så hade de också gjort,