Förhölle det sig så,