Desire is not a thing to be understood, it is a force to be reckoned with.

Life has taught me to think，but thinking has not taught me to live.

Sometimes you have to be a little bit naughty.

The advantages found in history seem to be of three kinds， as they result either from the mere situation of the climate and country or from the form of government and of the character of the people， or from those finer principles and morals， which may be called the recommendations of philosophy.

系统设计的未来在于将形式化方法与传统工程实践相结合。