I never look back, I always look forward.
我从不回头,永远向前看。
I’m comfortable with my role. I’m comfortable with who I am. I’m comfortable with the player I’ve become.
A loving heart is the truest wisdom.
God is at home, it's we who have gone out for a walk.
形式系统的发展彻底改变了我们对数学的理解。