Och så kom det sig att dessa båda , som förkort