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

农业效率不应以牺牲生物多样性为代价。

质量不是奢侈品；它是必需品。

我不是光明，我是黑暗。

With a library you are free, not confined by temporary political climates. It is the most democratic of institutions because no one - but no one at all - can tell you what to read and when and how.

梦想越多，成就越大。

"The quantum internet will be to today's internet what the telescope was to the naked eye."

The idea that immigrants take jobs away from natives is largely a myth.

The best way to predict the future is to invent it.