宇宙不在你之外。审视你自己；你所渴望的一切，你早已拥有。
The universe is not outside of you. Look inside yourself; everything that you want, you already are.
理解一个国家的首要条件是去闻闻它的气味。
心理过程是解决生活问题的工具。
The great question which, in all ages, has disturbed mankind, and brought on them the greatest part of their mischiefs, has been, not whether there be power in the world, nor whence it came, but who should have it.
Money is not capital, but creativity is.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."