形式化方法的美在于它们能够提供关于系统行为的绝对保证。

"The task of the novelist is to awaken the reader's sympathy, to make the reader care."

Let us unite, fight for the independence of the country, and the freedom of the people.

When you have some success， the feeling of being an imposter can be real. Who am I fooling？ But when you create things that only you — with your unique talents and experience — can do， then you are absolutely not an imposter. You are the ordained. It is your duty to work on things that only you can do.

〈军人精神教育〉，在桂林对滇赣粤军的演说，1921年12月10日