Vi hade likväl önskat,