The elegance of a mathematical proof is in its simplicity and clarity.
The past is always tense, the future perfect.