先验真理并不一定是独立于经验而知的真理。
The past beats inside me like a second heart.
The longer I live the more I see that I am never wrong about anything, and that all the pains I have so humbly taken to verify my notions have only wasted my time.
P与NP问题是计算机科学中最重要的未解决问题之一。