A dreamer is one who can only find his way by moonlight, and his punishment is that he sees the dawn before the rest of the world.

"Every person is a universe, and every story is a star in that universe."

数学之美不仅在于它描述世界的能力，还在于它揭示支配世界的隐藏结构的力量。

Life is too short to wake up in the morning with regrets.

成功验证的关键是从系统应该做什么的清晰和精确的规范开始。