形式化方法不是银弹，但它们是追求可靠系统的重要工具。

The most profound discoveries often come from asking the simplest questions.

即便真理没有带来便利，也要恪守它，因为你若企图掩盖真理，会带来更多的麻烦。即使真相并不令人愉快，也一定要做到诚实，因为掩盖真相往往要费更大力气。

没有牺牲，就没有自由。

People ask me how I make music. I tell them I just step into it. It’s like stepping into a river and joining the flow. Every moment in the river has its song.

每个故事都是其时代的镜子。