The best way to document a program is to document it.
逻辑学研究不仅仅是关于形式系统,更是关于理性思维和话语的规范。