Det förhöll sig så: