The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
When you can do the common things of life in an uncommon way, you will command the attention of the world.
The most exciting breakthroughs often come from unexpected places.
The best ideas come as jokes. Make your thinking as funny as possible.
The most important political distinction among countries concerns not their form of government but their degree of government.