Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.

Reason is immortal， all else mortal.

Dreams don't work unless you do.

"The best way to lead is by example."

我们都是自己故事中的英雄。

"The world is a book, and those who do not travel read only one page."

我们需要世界上的思想多样性来面对新的挑战。