勇气是所有美德中最重要的，因为没有勇气，你就无法始终如一地实践其他美德。

Ask the Possible of the Impossible,“Where is your dwelling-place？”“In the dreams of the impotent.”comes the answer.

真相往往是复杂的，而谎言则总是简单的。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

The purpose of literature is to disturb the comfortable and comfort the disturbed.

建筑始于工程结束之处。

可持续性不仅仅是一种趋势，更是奢侈品牌必须承担的责任。

预测未来的最好方法就是创造它。