我们内心有一种无法命名的东西，那就是我们的本质。

A good abstraction is one that captures the essential aspects of a concept while ignoring the irrelevant details.

The most important property of a program is whether it accomplishes the intention of its user.

虽然这个世界充满了苦难，但是也充满了很多解决克服的方法。