第二编　编末小结

三章共有一条自检条款，应当明写：若把三章的动作全部执行一遍，而谁能发起、谁的判定算数一律未变，则三章的动作都退化为流程改良。撤销默认推定若由原来那个人来执行，等于他给自己发了一张免检证；改变转场条件若不改变谁能定义目标，只会让人更高效地走向一个不值得抵达的终点；允许分叉若分支的结论永远不能进入合并程序，分叉只是一场被允许的抱怨。三章的动作都需要一个它们自己无法提供的前提——而这正是第十章那条顺序主张的另一种说法。