要说“我爱你”，首先必须能够说“我”。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

伟大的公司不仅仅种植水果，他们还培育社区。

一本书可以是一个朋友、一位老师和通往另一个世界的门。

你创造的世界越真实，观众就越会被吸引进去。

The stories are not autobiographical, but they're personal in that way. I seem to know only the things that I've learned. Probably some things through observation, but what I feel I know surely is personal.