He ran 1:54 in Flag 2 years ago and somewhere it was said that was a 1:51 conversion. I guess that since it was 2 years ago he was not as fully adapted as he is today to 7000 ft. I don't know of any 3:57 miles that cannot run 1:52 let alone at 7000 ft.