没有理由说善不能像恶一样经常胜利。任何事物的胜利都是组织的问题。
We must balance economic growth with environmental responsibility.
国君得到了我的学说,就必然会采用。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
Every day is a chance to get better. Don't waste it.