人类的选择在于自由和幸福之间，而对于大多数人来说，幸福更好。
如果有人告诉你，他将做一个“很现实的决定”，你立刻就要明白，他已经打算好做错事了。
The ultimate measure of a man is not where he stands in moments of comfort and convenience， but where he stands at times of challenge and controversy.
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
"To write is to confront the chaos of existence and impose some order upon it."