一个思想若称不上危险,那么它就不值得称作思想。
Architecture is the art of framing views.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
指某些秘密或天意不能随意透露。