冒险本身就是值得的。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The artist’s duty is to be a witness to their time.
成功的关键是失败……成功是由99%的失败构成的。
活着就是受苦，生存就是在苦难中找到某种意义。
我感恩每一刻。
The deep, personal material of the latter half of your life is your children. You can write about your parents when they're gone, but your children are still going to be here, and you're going to want them to come and visit you in the nursing home.
Live simply so that others may simply live.
