He ran 1:46 in 2020. Surely he could go sub 1:45 now?
I know that 800m is not his focus, but let's say that in his quest for 3:25.99 he decided to do more 800m training and racing (which I think he should if 3:25.99 is a major goal, but I digress, ever so slightly.) Could he be a 1:43 guy? Wouldn't he need to be at least a 1:43 guy if he wants 3:25.99?