För sakens skull kunde man ha önskat,