Vi skulle dock hafva önskat,