We must design for the human experience, not just for efficiency.
Theorems are the permanent literature of mathematics.
Success is a journey, not a destination.