"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们存在的意义不是我们自己发明的,而是被发现的。
I have always wished for my computer to be as easy to use as my telephone; my wish has come true because I can no longer figure out how to use my telephone.