There are some natures too noble to curb and too lofty to bend.
有些天性太过顽固而无法抑制，太过傲慢而不能屈服。
我是一个非常冷静的人。这有助于我在网球和生活中的表现。
When you're young you think you're going to have lots of friends. But as you get older, you realize you can count them on one hand.
我明白痛苦可以成为最大的灵感。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。