If he was facing mandatory retirement nearly ten years ago it’s likely he might be ready for voluntary retirement, particularly after achieving this fantastic result.

I would his not be in verifying the AI is output?