Every exhibition should be a question, not an answer.

好奇是智慧的开端。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

You can't build any kind of organization if you're not going to surround yourself with people who have experience and skill base beyond your own.