Man kunde också hafva önskat,