"To be happy is to be able to become aware of oneself without fright."
This is an interesting planet. It deserves all the attention you can give it.
The older I get, the more I realize how little I know.
Innovation distinguishes between a leader and a follower.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.