Only when one plunges into the powerful current of the times will one's life shine brilliantly.
Happiness cannot be pursued; it must ensue.
我对事物的表面不感兴趣,而是对隐藏在表面之下的东西感兴趣。
成功不在于终点,而在于旅程。
Quality is remembered long after price is forgotten.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Freedom is not the choice, but the chance to choose.