故事不仅是讲述的内容，也是未被讲述的部分。
A story is not just what is told, but what is left untold.
I want to make a difference in the world.
If a man will begin with certainties， he shall end in doubts； but if he will be content to begin with doubts， he shall end in certainties.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
Art should provoke, not just decorate.
真相很少是纯粹的，也绝不简单。