Förhölle det sig nämligen såsom