"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

Going out is not the goal, going deep is our real target.

"The world is not a wish-granting factory."

Covenants, without the sword, are but words, and of no strength to secure a man at all.

To try to write love is to confront the muck of language: that region of hysteria where language is both too much and too little, excessive and impoverished.

The meaning of life is contained in every single expression of life. It is present in the infinity of forms and phenomena that exist in all of creation.

每一次失败都是一堂课，让你更接近成功。