The most important property of a program is whether it accomplishes the intention of its user.
Mathematics teaches us to think logically and to approach problems systematically.
The artist must be a prisoner of freedom.
一本好书应该是劈开我们内心冰海的斧头。
Every ton of coal extracted should carry the weight of our commitment to the future.