我喜欢夜晚。没有黑暗，我们就永远看不到星星。

The idea of legal responsibility is central to the concept of law.

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

数学是为不同事物赋予相同名称的艺术。