君子给人的印象有三种变化：远看庄重威严，接触则温和可亲，听讲话则严肃不苟。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

The more I see of the representatives of the people, the more I admire my dogs.

在发现自己掉进坑里的时候，最重要的事情就是停止挖掘。