Seek the best tranquil condition for the soul.

智者在自己的心灵中寻找幸福，愚者则在外部追逐。

The right of nature... is the liberty each man hath, to use his own power, as he will himself, for the preservation of his own nature; that is to say, of his own life.

要么致富，要么死在尝试的路上。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

你一生中最起码要做的事情是弄清楚你所希望的。而你能做的最多的事情就是活在那个希望之中。不是远远地欣赏它，而是直接生活在它的庇护之下。