The best designs are those that solve problems without creating new ones.
"A child who reads will be an adult who thinks."
The development of formal systems has revolutionized our understanding of mathematics.
The most important property of a program is whether it accomplishes the intention of its user.