Men det förhöll sig så,