Med denna senare sak förhöll det sig sålunda: