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.

形式系统的发展彻底改变了我们对数学的理解。