"Mathematicians need proofs to keep them honest. All technical areas of human activity need reality checks. It is not enough to believe that something works, that it is a good way to proceed, or even that it is true. We need to know why it's true. Otherwise, we won't know anything at all."