你越是能增加对毒品和犯罪、福利母亲、移民和外星人的恐惧，你就越能控制所有人。

Literature is the art of turning pain into beauty.

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

法律体系的存在是一个社会事实。

从长远来看，获胜的公司是那些最以客户为中心的公司。