Vi hade dock önskat,