"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

The universe is not only stranger than we imagine, it is stranger than we can imagine.

The difference between a policy and a crusade is that a policy is judged by its results, while a crusade is judged by how good it makes its crusaders feel.