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

The night is a great library, but the stars are its books.

凡是存在的事物就天然具有合理性。

诗歌这种东西，是天地的核心，是君子的内涵。

过去是一个我们可以造访但无法停留的地方。

我不是一个完美的人，但我每天都在努力变得更好。