A film is never finished, only abandoned.
Nothing is really beautiful but truth, truth alone is lovely.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
释义:他人胜过自己无妨,对方不会有怨恨;自己胜过他人非福,可能招致灾祸。
A building should touch the earth lightly.