在计算机科学中，验证过程与创造过程同样重要。
The process of verification is as important as the process of creation in computer science.
The true measure of success is not just profit, but the positive impact we leave on society.
我们对自己讲述的关于自己的故事是最有力量的故事。
Disobedience, in the eyes of any one who has read history, is man's original virtue. It is through disobedience that progress has been made, through disobedience and through rebellion.
