"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
真正的男人想要两样东西：危险和游戏。因此他需要女人，作为最危险的玩具。
The only way to be successful is to work hard and never give up.
The beauty of acting is that it allows you to live a thousand lives in one lifetime.
The speech we hear is an indication of that which we don't hear. It is a necessary avoidance, a violent, sly, anguished or mocking smokescreen which keeps the other in its place.