Man is condemned to be free.
人是自己的囚犯。
When given the choice between being right or being kind, choose kind.Mr Browns September Precet.
树木是圣哲。
The future of computing lies in the development of systems that can verify their own correctness.
晏子春秋
预测未来的最好方法就是创造未来。