[Zhyl]

Is the reason it's easy to reason with mathematically because it was designed to be pure or is it pure because it was designed to be easy to reason with mathematically?