We are all connected by the stories we tell.
我们通过讲述的故事彼此相连。
What's left out is as important as what's included.
The challenge in model checking is not just to find errors, but to understand why they occur.
"The very essence of romance is uncertainty."
我们应该追随一切似乎可能的，避免一切似乎不可能的。
译文：答应别人的话，千两黄金都不能更改。