Yeah he ran 3:53 to win the Sir Walter Mile race for Men. However, it’s not that impressive for a guy who has run 3:34 for the 1500 twice to not run faster than a 3:53. Especially compared to his OnRunning counterpart Mario Garcia Romo, who ran 3:30 at Worlds.