不是我们偶尔做的事情塑造了我们的生活，而是我们持续做的事情。
It’s not what we do once in a while that shapes our lives, but what we do consistently.
我并不是一回到自行车上就赢了。有很多起伏，有好日子也有坏日子。
Sustainability is not an option; it's a necessity for the future of our industry.
λ演算是一种表示函数及其应用的形式体系。