爱中没有正义，没有比例，也不需要，因为在任何特定的情况下，它只是一个拥抱的、难以理解的现实的一瞥或寓言。

一个人越是有许多事情能够放得下，他越是富有。

Though the Chinese should adore APL, it's FORTRAN they put their money on.

Science without religion is lame, religion without science is blind.

The challenge in model checking is not just to find errors, but to understand why they occur.

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

"Der Mensch ist der Hirt des Seins."

过你爱的生活。爱你过的生活。