Agree, but more specifically Math is clearly about a human understanding structure of things. Math is basically for humans. It's one of the main reasons understandable proof is so important.

Well, by "understanding" I mean "understanding by humans", indeed.