建筑不应强加于景观，而应从景观中浮现。
A building should not impose itself on the landscape, but should emerge from it.
未来是一个概念——它只存在于我们的脑海中。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
We must accept finite disappointment, but we must never lose infinite hope.
The key to success is to keep growing in all areas of life - mental, emotional, spiritual, as well as physical.
写作是探索人类心灵未知领域并带回洞察宝藏的过程。
To write is to bear witness to the world and to oneself.