译文：有任何事对着品行正直的人说，是是非非不要听心术不正的人说。赏析：君子做事光明磊落，胸襟宽广，我们值得托付大事，而小人品行不端，无事生非，我们容易误入歧途。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

It goes against the grain of modern education to teach children to program. What fun is there in making plans, acquiring discipline in organizing thoughts, devoting attention to detail and learning to be self-critical?

知识的唯一来源是经验。