没有什么比意志更强大，没有什么比决心更重要。

在商业中，你必须愿意承担风险，但必须是经过计算的风险。

I like the idea of taking something that is familiar and doing something unexpected with it.

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