形式系统的发展彻底改变了我们对数学的理解。
领导力是关于今天做出艰难的决定，这些决定将使未来的几代人受益。
The art of government is the organization of idolatry.
To write is to confront the ghosts of the past and give them a voice in the present.