User thinking is more important than traffic thinking.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
The beauty of a woman with passing years only grows!
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
任何挑战中最难的部分是迈出第一步。
不要为成功而努力，要为做一个有价值的人而努力。
One can't proceed from the informal to the formal by formal means.