"To write is to breathe, and to breathe is to live."

爱一个人就是要懂得如何失去他们。

The history of life is a history of connections.

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

Genetic research should serve humanity, not just commercial interests.