This is a genius paper. We should think about evolving the language of mathematics just like other languages (programming, english etc) evolve to become more fr

This is a genius paper. We should think about evolving the language of mathematics just like other languages (programming, english etc) evolve to become more friendly and empowering. I love the idea behind it, and of course the proposal has many points to be debated as to how and what but the core idea is genius.