创作艺术的过程和最终结果一样重要。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Every explosion is a dialogue with the unknown. 每一次爆炸都是与未知的对话。
You are somebody who didn't know what you wanted until you wrote it down on paper.