如果你让人们自由发展，他们就像日落一样美妙。当我看着日落时，我不会说：“把右边角落的橙色调柔和一点。”我不会试图控制日落。我怀着敬畏的心情看着它展开。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

如果你不愿意学习，没人能帮你。如果你决心学习，没人能阻止你。

重要的是不要停止提问。好奇心有其存在的理由。

因为服从是如此困难，所以相信也是如此困难。