学校应该是培养集体精神的地方，个人在与社会的和谐中得到发展。

The challenge in model checking is not just to find errors, but to understand why they occur.

Quantum error correction is the key to making quantum computers practical.

Quality should never be compromised for the sake of speed.

自然界的普遍法则大多不是直接感知的对象。