The only person you should try to be better than is the person you were yesterday.

Enterprises should bear social responsibilities, fishery enterprises must protect this blue homeland.

Institutional critique must come from within institutions.

我认为最重要的是要对自己真实。你必须诚实地面对自己是谁以及你想要什么。

模型检查是验证硬件和软件系统正确性的强大工具。