"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
写作是一种理解世界和我在其中位置的方式。