Existence is contradiction.
Change is hardest in the beginning, messiest in the middle, and best at the end.
The progress of mathematics is measured by the number of problems it can solve.