The truth is rarely pure and never simple.
The greatest wealth is health.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
In computer science, we often deal with problems that are easy to state but hard to solve.