我不抱怨，不找借口，只是继续前进。

The only true wisdom is in knowing you know nothing.

The greatest thing you'll ever learn is just to love and be loved in return.

高尔夫是一项在五英寸球场上进行的运动——也就是你两耳之间的距离。

The victim should have the right to end his life, if he wants. But I think it would be a great mistake. However bad life may seem, there is always something you can do, and succeed at. While there's life, there is hope.

The only way to do great work is to love what you do.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。