Interesting. But to understand mathematical constructs (e.g., Geometric axioms and build theorems on top) is incredibly empowering.