Detta hade tillgått sålunda,