人的仁慈从未削弱自由者的毅力或软化他们。一个国家不必变得残酷就可以坚强。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
【译文】如果不明事理,那么动就不知道往哪里去;如果不动,那么即使明白事理也没有用处。