Apparently he ran 4.22 for fun in an exhibition in sweats after he retired and it was said he didn't look like he was trying that hard so I think he could have run sub 4. AI is wrong!