"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

The true measure of a mining company isn't its stock price, but its stewardship.

You control your future, your destiny. What you think about comes about. By recording your dreams and goals on paper, you set in motion the process of becoming the person you most want to be. Put your future in good hands — your own.

不要一直犯同样的错误；尝试犯些新的错误。