It is the user who should parameterize procedures, not their creators.
The hardest thing is to live richly in the present without letting it be tainted by the past or future.
使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
I'm a singer, a performer. That's what I do best.