The beauty of a molecule is in its structure and its story.

Travel changes you. As you move through this life and this world you change things slightly， you leave marks behind， however small. And in return， life—and travel—leaves marks on you.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。