"The unexamined life is not worth living."

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

Collaboration across borders and industries is the key to solving the energy challenges of our time.

The more you invest in a relationship, the more valuable it becomes.

每日不能克服恐惧者，尚未学会人生的第一课。

People of the same trade seldom meet together， even for merriment and diversion， but the conversation ends in a conspiracy against the public， or in some contrivance to raise prices.

"The colony is the place where the project of a new humanity is to be tested, where the dream of a world without borders is to be realized, where the dream of a world without races is to be realized, where the dream of a world without nations is to be realized, where the dream of a world without classes is to be realized, where the dream of a world without genders is to be realized, where the dream of a world without religions is to be realized, where the dream of a world without money is to be realized, where the dream of a world without property is to be realized, where the dream of a world without war is to be realized."