"The future of system design lies in the integration of formal methods with traditional engineering practices."
The most important property of a program is whether it accomplishes the intention of its user.
The condition of man... is a condition of war of everyone against everyone.