Music has no boundaries, only the distance between hearts.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

You can’t please everyone, so don’t try.

一个人应该原谅他的敌人，但不是在绞死他们之前。

The most important property of a program is whether it accomplishes the intention of its user.

金融体系的改革应以市场为导向。