Le bonheur n'est pas chose aisée. Il est très difficile de le trouver en nous, impossible de le trouver ailleurs.

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

The key to success is to keep trying, even when things don't work out the first time.

The true value of a bank is measured by its contribution to social development.

伟大是许多小事做好的结果。