it's important to be precise: he is not the world champion. "world record holder" means something different. https://en.wikipedia.org/wiki/2019_World_Athletics_Champions...