Detta hade tillgått sålunda: