在计算复杂性中,我们不仅仅是在处理我们能计算的极限,也是在处理我们能证明的极限。
I don't believe in guilty pleasures - if you enjoy something, enjoy it.
Legal rules are not merely predictions of what courts will do, but are reasons for action.
"The biographer's task is to illuminate, not to judge."
 Do not live for others; live for yourself.
The journey of a thousand miles begins with one step.