In Russia, the severity of laws is compensated for by the fact that it is not necessary to execute them.

孔子说：“君子坦荡而不骄狂，小人骄狂而不坦荡。”

The challenge is to make something ordinary extraordinary.

系统设计的未来在于将形式化方法与传统工程实践相结合。