I verkligheten förhöll det sig dock så,