Det förhöll sig alldeles så,