寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
「：文言：叶虽共享，换位避名之义不易。汉语：检查叶复用后的嵌套绑定索引、自由变量冲突、内部重命名以及原树不变。：」
「同式」乃化「表达式」而化「表达式」而「爻」也。
「同式」者会「左」而会「右」而「串相等」于（「表达式表示」于「左」）于（「表达式表示」于「右」）也。
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『替换共享回归失败』也。
「常量」者「式节点」于（「整数节点」于「七」）于「罄」也。
「原式」者「绑定」于（「可有」于『内』）于（「式节点」于「元组构造节点」于（「列」【「绑定变量」于「一」，「绑定变量」于「二」，「自由变量」于『外』，「常量」】））也。
「所期」者「绑定」于（「可有」于『内』）于（「式节点」于「元组构造节点」于（「列」【「绑定变量」于「一」，「自由变量」于『替』，「自由变量」于『外』，「常量」】））也。
「验」于（「同式」于（「解构替换绑定变量」于「一」于（「自由变量」于『替』）于「原式」）于「所期」）。
「验」于（「同式」于（「解构替换绑定名非重复」于「一」于『替』于「原式」）于「所期」）。
「验」于（「同式」于（「解构替换绑定变量」于「三」于「常量」于「原式」）于「原式」）。
「重名」者「新引用」授以「爻」于「阴」也。
「尝试运行」授以「有」于（会「无」而
  虑「果」者「解构替换绑定名非重复」于「一」于『外』于「原式」而「元」）
  于（会「错」而「写引用」于「重名」于（「串相等」于「错」于『名称重复』））。
「验」于（「读引用」于「重名」）。
「须改名」者「解构替换绑定名非重复」于「一」于『内』于「原式」也。
鉴「须改名」而
  有（「绑定」于（「可有」于「新名」）于「体」）则（
    「验」于（「非」于（「串相等」于「新名」于『内』））；
    「验」于（「同式」于「体」于（「式节点」于「元组构造节点」于（「列」【「绑定变量」于「一」，「自由变量」于『内』，「自由变量」于『外』，「常量」】））））
  或有「其他」则「发生事故」授以「有」于『绑定结构丢失』。
「验」于（「同式」于「原式」于（「绑定」于（「可有」于『内』）于（「式节点」于「元组构造节点」于（「列」【「绑定变量」于「一」，「绑定变量」于「二」，「自由变量」于『外』，「常量」】））））。
「打印行」于『替换共享通过』。
