Det hade gått till väga sålunda: