The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
All great truths begin as blasphemies.
自由民主在世界范围内的传播并非不可避免,但它是现代化进程中最可能的结果。
Hard work beats talent when talent doesn't work hard.
The strongest is never strong enough to be always the master unless he transforms strength into right and obedience into duty.