The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

Overhead, without any fuss, the stars were going out.

唯一能让你快乐的是你自己的心。

The deepest insights often come from unexpected places.

The concept of NP-completeness has provided a powerful tool for understanding the complexity of problems.