Life is not worth living if it is not subject to reexamination.
Quality is not a coincidence; it is a consequence.
Theorems are not discovered by accident.