I think the most important thing is to be true to yourself and to be honest with yourself.

故意去辞让官爵俸禄，以此来沽名钓誉，还不如根本不去辞让。

Don't be defined by what you didn't know or didn't do.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

I’m a firm believer in the theory that you only get out what you put in.

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