Det förhöll sig nemligen sålunda: