记忆是个狡猾的东西。它并不总是可靠的，但它是我们拥有的一切。
Memory is a tricky thing. It's not always reliable, but it's all we have.
All that is in motion must be at peace； it is not what is at rest that should be considered peaceful.
我不害怕失败，因为我知道它是成功的一部分。
The development of formal systems has revolutionized our understanding of mathematics.