法律的存在是一回事；其优劣是另一回事。

我们要做海洋的守护者，而不是征服者。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

描绘春天花开时的愁绪，连珠帘都懒得卷起

解析：知道自己还有所不知，这是很高明的。不知道却自以为知道，这就是很糟糕的。

道德规范在我们这个行业是不可协商的。