Det var just i det förstnämnda,