做伟大的事情很困难，但指挥伟大的事情更困难。

I have made the most important discovery of my life. It's only in the mysterious equations of love that any logic or reasons can be found.

经历一番挫折，才能增长一分见识；经过一些番磨难，才能增一分度量；省一分利益的经营，而多一分道义；能学一分退让，可得一分便宜；去掉一分享受则减少一分罪过；对事物多一分认识，而多一分物情。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

The key to successful investing is to have the right temperament.

The best way to predict the future is to create it.