文章贵在简洁，简洁则明了；贵在真实，真实则贴切；贵在变化，变化则生动。

都说女儿是妈妈的小棉袄，可我是我妈的貂。

我返老还童了。

The land never lies, it repays what you put in.

The more we learn of the true nature of non-human animals, especially those with complex brains and corresponding complex social behaviour, the more ethical concerns are raised regarding their use in the service of man—whether this be in entertainment, as ‘pets,’ for food, in research laboratories or any of the other uses to which we subject them.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."