Why should you mind being wrong if someone can show you that you are？
"The future is not something we enter. The future is something we create."
写作的行为是一种生存的行为。
When I write songs, I often cry.
死亡是少数几件只要躺下就能完成的事情之一。
我们不是因为变老而停止玩耍，而是因为停止玩耍而变老。
模型检查是验证硬件和软件系统正确性的强大工具。