The best designs are those that solve problems without creating new ones.
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.