我喜欢有过去的女人，跟她们交谈总有说不出的乐趣。

一个不写作的作家是招致疯狂的怪物。

The secret of change is to focus all of your energy，not on fighting the old，but on building the new.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."