If you only plan to run 5km, any brand also, no need spend too much.

But if you need to run 10km, 21, or 42, better go to try brooks, ASICS, or hooka, those specialise in long distance running. Need to check your foot arch to determine the type that suit you, if you feet  are normal arch, then can wear brooks ghost series, can buy old model from online store not so expensive. If flat feet, then need to wear special shoes.

Not recommend to buy Adidas or Nike for long distance running, as they only strong in design but weak in function and support (after 20km running, the shoes will be very critical to provide cushioning and support as yourbleg muscle is getting weaker, can avoid injury and share the burden of your weight)

What does takedown means?

Nope, nimbus is neutral, not under pronate. And for overpronate, u should not wear neutral.

If among my list that you want to call is under pronate, it is cumulus. Definitely not nimbus.

Do you know what makes a shoe specially designed for overpronate feet ?
It's not only about the insole.

Stability/support shoes is designed to prevent your ankle from rolling over when you run.  The density and compound of the foam at the inner part of the heel is more firm, to prevent the ankle from pronating.
Tomorrow you go to ASICS shop look.for kayano and press that foam area.  It's much firmer there.

I think you are overreacting. No need you to explain how famous are these two brands in world champions' sponsorship. Your explanation on their world record sound like you really thought people don't know you are born by your mum who is a woman....

Back to the topic, TS only run 5km, so he can buy any brand he want including these two.

But If he want build his mileage, then can try with those more affordable brand that are with good features also, why need to straightaway upgrade to top tier shoes?  But maybe if you are rich and your value on item is how famous they are in Branding Value, then yes lo. TS now run 5km U recommend him alphafly, you ok or not