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

The most successful aquaculture operations are those that work with nature, not against it.

肖尔算法的美在于它能够利用量子力学的原理，将一个看似不可能的问题转化为一个可处理的问题。

我们生产的每一桶石油都应着眼于最小化我们的足迹。