Vi hafva då erfarit,