Visserligen förhöll det sig på det viset,