Det förhöll sig så.