在计算机科学中，验证过程与创造过程同样重要。
The process of verification is as important as the process of creation in computer science.
The world is full of obvious things which nobody by any chance ever observes.
我们必须在能源需求和保护地球之间取得平衡。
我不喜欢被告诉不能做什么。
我们飞得越高，我们在那些不能飞的人眼中的形象就越渺小。
人是他的选择。