The great epochs of our life are the occasions when we gain the courage to rebaptize our badness as the best in us.
当没有人相信你时,你必须相信自己。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
切勿对已经敞开心胸的人闭上双唇。
要想成功,你必须无所畏惧。