Making games should be like creating art; every detail must be refined to perfection.

The quality of an organization's transparency determines the quality of its credibility.

作为人类就是有缺陷的，但也意味着有能力进行巨大的改变。

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