程序最重要的属性是它是否实现了用户的意图。
The most important property of a program is whether it accomplishes the intention of its user.
解释:怀揣珍宝的人,不要在晚上行走;担负大任的人,不能对敌人掉以轻心。
The sea gives us life; it's our duty to give back by protecting it.
Every mathematical theorem is a story waiting to be told, a mystery waiting to be unraveled.
真理不是为所有人准备的,而是为那些寻求它的人准备的。