"<a href=""https://www.youtube.com/watch?v=tueAcSiiqYA&amp;t=1h22m00s"">1:22:00</a> when Lex interrupted he was about to talk about Ostrowski’S Theorem. It is so natural that p Adic and usual system are the only two possible options."