Det förhöll sig nämligen sålunda: