The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
The best revenge is massive success.
不要等待完美的时刻,抓住这一刻并让它变得完美。
Theorems are the milestones of mathematics.