片刻是时间的一小部分，但它可能是非常重要的一部分。
A moment is a small piece of time, but it can be a very important piece of time.
我不是爱人，我是战士。
世界越变得非理性，系统就显得越理性。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
People always think they’re going to write a book. They think they’re going to write a book, and then they don’t.