Detta hade emellertid icke varit fallet: