Visserligen skulle vi hafva önskat,