我们所看到的与我们所知道的之间的关系从未确定。
The relation between what we see and what we know is never settled.
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
Light is the most important element in architecture. Without light, there is no space.
我们衡量成功的标准不应只是生产了多少桶油，还应包括避免了多少排放。