Vi hafva omnämt detta,