Stiffness is a very important and basic part of mathematical proof. Mathematicians want their theorems to be derived from axioms through systematic reasoning. This is to avoid drawing wrong "theorems" or proofs by unreliable intuition, which has happened in many examples in history. The expected rigor in mathematics changes with time: the Greeks expected careful argumentation, but in Newton's time, the methods used were not so rigorous. Newton's definition of solving problems was not properly handled by mathematicians through rigorous analysis and formal proof until19th century. Today, mathematicians have been arguing about the rigor of computer-aided proof. In the case that a large number of calculations are difficult to verify, it is hard to say that the proof is effective and rigorous.