Det förhölle sig verkligen så,