I don’t believe in styles, I believe in coherence.

In the exploration of science, we must not only ask why but also why not.

我写作是为了不消失，为了在这个抹去一切的世界留下痕迹。

Either you repeat the same conventional doctrines everybody is saying, or else you say something true, and it will sound like it's from Neptune.

"The human heart is a mystery, even to itself."

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."