Om det förhölle sig så,