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."
数学的统一性不是幻觉,而是等待被揭示的现实。