如果你愿意，每小时都可以翻开新的一页。
我不害怕风暴，因为我正在学习如何驾驶我的船。
The heart of another is a dark forest, always, no matter how close it has been to one's own.
阳中的阴精本质不刚强，单独修炼一种物质会转为虚弱。
The world is a fine place and worth fighting for.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.