最平凡的生活可以拥有非凡的故事。
The most ordinary lives can hold extraordinary stories.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
生命太短暂,不要浪费时间在无关紧要的事情上。