First of all, I think your comment is against HN guidelines. And I expect GP has actually a lot of experience in mathematics - there are exactly right and this

First of all, I think your comment is against HN guidelines. And I expect GP has actually a lot of experience in mathematics - there are exactly right and this is how professional mathematicians see math (at least most of them, including ones I interact with).