The first step in quality improvement is to understand what the customer really wants.

"In computer science, we are always trying to find the balance between expressiveness and tractability."

数学的统一性不是幻觉，而是等待被揭示的现实。