暂时判断也可以允许修订
解释听起来合理，还需要检查中间推理是否成立。
链接若缺少关系说明，回看时仍可能难以理解。
给未知信息一个明确的位置
解释陌生规则时，先展示一个合法用法和一个接近却不合法的用法，能够使限制更容易辨认。例子之间最好只改变关键条件，避免差别过多而不知规则究竟作用在哪。随后仍要给出一般说明，让具体对照成为进入规则的台阶，而不是替代规则本身。
重要修订留下理由，便于后来追溯判断。
连接词背后仍需要可以展开的逻辑步骤。
一个例子不能承担全部证明
符号系统一旦借给他人使用，就需要共享的解释规则。同一个箭头有时表示先后，有时表示影响，若没有图例便可能让图看似清楚却难以核对。绘制关系图时可以减少符号种类，为每种符号固定用途，让阅读负担来自问题本身而非记号的猜谜。
反例提醒我们检查原本命题的适用范围。
一个结论的适用范围应与结论本身一起保存。