Leadership means making tough decisions today for a better tomorrow.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
忘记一个人的最好方法就是去找另一个人。
Never let success get to your head, and never let failure get to your heart.