人生苦短，不能不追随梦想。

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

The paper industry has a responsibility to lead the way in environmental stewardship.

自由的代价比镇压的代价要低。

The fact that there is nothing permanent except change is a permanent theme in nature.