The stock market is a device for transferring money from the impatient to the patient.
The challenge in model checking is not just to find errors, but to understand why they occur.
The social responsibility of an enterprise is not just to make profits, but also to give back to society.