Mathematics is the science which draws necessary conclusions.

Benjamin Peirce, Linear Associative Algebra