追求数学真理是一生的旅程。
The pursuit of mathematical truth is a lifelong journey.
The more you try to be happy, the more unhappy you become.
语法和语义之间的相互作用是形式语言研究的核心。
Chaos isn't a pit. Chaos is a ladder. 
Sometimes it’s the journey that teaches you a lot about your destination.