前面九章都在论证音乐是被需要的，没有一章处理反例。而反例是现成的：先天性失歌症者在人群中占百分之几，特异性音乐快感缺失者同样存在——他们听得见、分得出，只是音乐不为他们带来任何奖赏；此外还有明确禁止或极少使用音乐的社会与时期。这些人过着完整的生活。
对一本讲「需要」的书来说，这不是边角，而是最容易被一句话打死的地方。本章处理它，用的方法不是替音乐辩护，而是先问一个更早的问题：「某某不需要音乐」这句话，凭什么可以被直接观察到？
本章取三门与当今音乐学没有交集的学科各一条第一原理：结构工程的连续倒塌与备用传力路径（拆掉一根构件而结构不倒，不等于该构件无用，只说明荷载找到了另一条路径）；医学遗传学的外显率不全与修饰位点（携带同一致病基因型的人可以终身不发病）；考古学的埋藏学（观察到的「没有」必须先除以保存概率与检出概率）。三家共享一个都没明说的前提：「缺了它会怎样」是一个可以直接观察的事实。而推翻这个前提的材料，全部来自三家自己。
由此得到本章的承重命题：必需性不是成分的属性，是移除方案的属性。 在指定「同时移除什么、在什么背景下、用多粗的记录去看」之前，「需要」没有真值。
新对象是共移除阈 k*：要让某项功能真正失效，最少必须同时移除的承担者个数。读数记作 k*|g，g 是记录粒度。
本章完成一场预注册真跑，检验的是命题的一般形式而非人的一侧。结果：单成分移除几乎没有效应（删掉一个成分，识别率只掉半个百分点；删掉三十二个仍有两成多认得出来），第一层命题站住；但第三条假设被驳且方向相反——我押的「成块移除比分散移除更致命」没有出现，因此撤回“移除的形状是关键维度”，把读数的第二参数从移除方案改成记录粒度。真跑还暴露了本产线的第三次预注册设计错误，一并写在正文里。
人的一侧在本章零证据。失歌症者、音乐快感缺失者与少用音乐的社会，本章一个数据点都没有。这是本章最大的软处，写在第十九节，并配了两条可以推翻本章的条款。
一本讲必要性的书，如果只收集支持必要性的证据，它就不是一本研究，而是一场辩护。
前面九章各自交出了一个读数，也各自报告了自己被数据打掉的地方。但九章有一个共同的沉默：它们都假定被研究的对象是「人」，而人是需要音乐的。没有一章问过：那些看起来不需要的人，算不算反例？
这不是学术上的礼貌问题。必要性论证有一个非常硬的逻辑结构：如果「X 是必需的」，那么缺了 X 的系统应当出问题。反过来，只要能找到一个缺了 X 却没出问题的系统，「X 是必需的」就必须被降级——要么降成「X 是常见的」，要么降成「X 在某些条件下是必需的」，而条件必须写出来。
先天性失歌症与音乐快感缺失恰好提供了这样的系统。他们不是「不喜欢音乐」，也不是「没机会接触音乐」。前者在旋律轮廓与音高辨别上有稳定的加工缺陷，后者在音乐上得不到奖赏反应而在金钱、食物、性等其他奖赏上完全正常。他们结婚、工作、交友、养育后代、参加葬礼与婚礼。若第一章说的共同先后、第五章说的换算率、第八章说的可被改变的关系位置真是必需的，那么在这些人身上，这些东西必须由别的什么承担；否则前九章讲的「需要」就只是「多数人碰巧这样做」的另一种说法。
同样的问题也出现在社会尺度上。历史与民族志中反复出现对音乐的严格限制：某些宗教传统限制器乐、某些时期禁止公开演奏、某些社群把有组织的声音活动压缩到极小的范围。这些社会没有崩溃。
所以这一章不是补白，是这一卷最有可能输掉的一章。它有两种结局：要么指出在这些人和这些社会身上有谁在替他们承担，那么前九章的机制就不是关于音乐的，而是关于人的处境的，音乐只是其中最普遍、最便宜的一种实现——这样一来全卷更强，但书名要改；要么指不出来，那么「需要」必须退回文化偏好。
本章的实际结论比这两者都窄，而且更麻烦：在做出上述判断之前，还有一步没人做过——先证明「他们不需要」这个观察本身是可信的。
在进入三门学科之前，先把三种最常见的处理方式摆出来，因为本章要做的事，正是不走这三条路。
第一种是取消反例。 说失歌症者其实也需要音乐，只是他们不知道；说他们从节奏、从环境声、从语言的韵律里获得了同样的东西。这条路很好走，也很难被推翻——恰恰因为难被推翻，它没有价值。任何把反例重新描述成正例的做法，都在把命题变成不可错的。
第二种是接受反例并放弃命题。 说既然有人不需要，那么音乐就不是必需品，是一种文化偏好，一种奢侈品，一种可有可无的享受。这条路看起来诚实，其实同样草率：它默认「有反例」等于「命题为假」，而这在任何有替代路径的系统里都不成立。心脏搭桥术后的人靠移植血管供血，你不会因此说原来的冠状动脉从来不必需。
第三种是把反例圈成例外。 说这些是病理案例，不影响一般规律。这条路最省事，也最不诚实：一个理论如果只在「正常人」身上成立，而「正常」的定义又依赖这个理论，那它是循环的。
这三条路有一个共同的毛病：它们都默认那个观察是可靠的。都默认我们真的看见了「缺了音乐而没有出问题」这件事。而本章从三门学科借来的第一原理，全部指向同一件事——这个观察远比它看起来复杂。
导论把「需要」分成三种强度：本体必需（没有它人或社会不能存在）、功能不可替代（只有它能完成某事）、结构性需求（只要同时面临某几个条件，就需要某种能做这件事的机制）。全卷只主张第三种。
本章要补上导论没说的一句：这三种强度对反例的敏感度完全不同。
对本体必需来说，一个反例就够了。存在一个活得好好的失歌症者，本体必需当场倒下。所以这一卷从来不主张它。
对功能不可替代来说，一个反例也几乎够了。只要证明某人用别的东西完成了同样的事，“只有音乐能做”就不成立。这一卷同样不主张它。
对结构性需求来说，反例的作用完全不同——它不推翻命题，而是要求命题交出承担者清单。说“面临这几个条件的系统需要某种机制”，遇到一个没有音乐却运转良好的人，正确的追问不是“你的命题错了吗”，而是“在他身上这套机制是由谁实现的”。答不出来，命题就退回文化偏好；答得出来，命题反而变强，但主语要从音乐换成机制。
这就是为什么本章非有不可，也是为什么本章不可能只是一份辩护：它的两种结局对全卷来说，一种是降级，另一种是改名。
本卷的选源规矩是：三门学科必须与当今音乐学没有交集，凡是已经被音乐研究反复吸收的入口一律弃用。本章选的三门是结构工程、医学遗传学、考古埋藏学。
选它们的理由不是新奇，是它们都以职业身份处理“移除之后会怎样”这个问题，而且各自被自己的实践教育过：这件事没那么好观察。
同时必须交代主动放弃的熟接口，否则选源就成了拼贴：
放弃了进化生物学的前适应与副产品论。 「音乐搭在别的系统上」这条线（听觉场景分析、语言、运动控制）已经是音乐起源争论的主场，从那里进来，本章会立刻变成那场争论的第 N 篇，而不是一次独立的碰撞。
放弃了神经可塑性与代偿。 「一个通路坏了，另一个通路接管」在失歌症研究里已经是标准解释框架。用它，本章只会重述该领域已有的话。
放弃了可靠性工程的冗余与共因失效。 这一族与本章高度相关，但本卷第五章已经用过它的一条原理（同源冗余不能相乘），再用就是同一口井打两次水。本章只在第二十三节把它作为占位者处理，并给出分界。
放弃了统计学的功效不足。 「没测到差异不等于没有差异」当然对，但它把问题变成样本量问题；本章要说的是更前面一步：即使样本无限大，观察本身也是被生成的。
结构工程里有一个问题问得极其直白：这根构件是不是必需的？
它的回答方式也同样直白：把它拿掉，看结构倒不倒。这就是抗连续倒塌设计里的「构件概念性移除」——不去论证某根柱子重要不重要，而是在模型里直接删掉它，然后计算剩下的结构能否重新分配荷载。能，就说明存在备用传力路径；不能，就说明这根构件是关键构件。
这个方法有三处对本章至关重要。
第一，必需性在这里是一个操作定义，不是一个属性。 工程师不会说「这根柱子本质上是必需的」，只会说「在移除方案 A 之下，结构不满足承载要求」。换一个移除方案，答案可能不同。
第二，“拿掉之后没事”是一个信息量很低的结论。 它只说明荷载找到了别的路，不说明这根构件从前没有在承力。事实上，荷载重分布往往意味着别的构件正在以更高的应力工作——系统看起来没事，实际上余量已经被吃掉了。这一点在工程上有个更狠的说法：单构件移除通过，不代表两构件移除也通过。
第三，正因为如此，规范要求的不是“移除任意一根”，而是指定移除方案。 移除哪一根、移除几根、在什么荷载组合下移除，全部要写清楚。“必需吗”这个问题在工程里没有无参数的版本。
把这条原理拿到本章：说某人不需要音乐，等于说“在他身上把音乐这一根构件拿掉，结构没有倒”。这句话是真的，但它的信息量恰恰是工程师最熟悉的那种低——它没有告诉你荷载去了哪里，也没有告诉你余量还剩多少。
医学遗传学处理着一件长期让人不舒服的事实：携带同一个致病基因型的人，有的发病，有的终身不发病。
这就是外显率不全。一个变异的外显率是携带者中出现相应表型的比例，它常常远低于百分之百；而在同一个家系里，同一个变异也可以有轻重悬殊的表现度。这些差异被归因于修饰位点、遗传背景、环境暴露与随机性。
对本章有用的是它的三个后果。
第一，不发病的携带者不构成对因果关系的反驳。 没有人因为存在健康的携带者就宣布该基因与该病无关。相反，这些人被当作最有信息量的样本——他们身上有某种东西在兜住，找出那个东西比确认因果更有价值。
第二，必需性必须写成条件式。 「这个基因是必需的」这句话在遗传学里已经不被单独使用了；能被使用的是「在这样的背景下，这个变异导致这个表型的概率是多少」。背景不是噪声，是命题的一部分。
第三，也是最容易被忽略的一点：外显率本身是被观察方式决定的。 同一个变异，在因病就诊人群里估出的外显率，与在无选择的大规模人群队列里估出的外显率，可以差出好几倍。观察窗口越偏向病人，外显率看起来越高。“多少人不发病”这个数字，本身依赖于你是从哪里开始数的。
把这条原理拿到本章：说某人不需要音乐，等于说他是一位“表型正常的携带者”。遗传学不会因此说这个位点无用，只会问两件事——是谁在替他兜住，以及你是从哪个人群里数出来的。
考古学面对的是一种特别难缠的证据：没有找到。
埋藏学研究的正是遗存从死亡、废弃到被发掘之间发生的一切：腐烂、搬运、破碎、掩埋、扰动、选择性保存。它的结论用一句话说就是：你挖到的东西不是过去的样本，是过去经过一连串过滤之后的残余。
这件事对“没有”的杀伤力最大。有机质乐器几乎不留下痕迹；歌唱不留下任何物质遗存；一个完全依赖人声与身体节奏的社会，在考古记录里可以完美地表现为“没有音乐”。而骨笛之所以出名，恰恰因为它是骨制的——它能留下来，不是因为当时的人更爱吹笛，而是因为骨头比木头、芦苇、皮革、和空气更耐得住时间。
由此得到本章最需要的一条：缺席不是被观察到的，是被生成的。 观察到的“没有”至少要除以两个概率：这个东西当初会不会留下痕迹（保存概率），以及留下的痕迹会不会被我们找到并认出来（检出概率）。两个概率都很小的时候，“没有”这个观察几乎不含信息。
同一个道理不需要一万年就能生效。当代的时间使用调查通常只记录“主要活动”，而听音乐大量地作为伴随活动发生——开车时、做饭时、走路时、工作时。于是在这类数据里，绝大多数人的“音乐时间”是零。如果有人拿这个零去论证“多数人不需要音乐”，他就是在把记录格式当成世界。
把这条原理拿到本章：说某个社会不需要音乐，首先要证明的不是他们没有音乐，而是如果他们有，我们会看见。
上面三条原理不是三个角度，它们对同一个问题给出的答案互相打架。
问题是：移除之后没出事，说明了什么？
三者互相不能取代。如果只按结构工程处理，你会一直在系统内部找替代路径，而永远不会怀疑“没出事”这个观察本身；如果只按遗传学处理，你会把一切差异归给背景，而忽略同一个体内部的路径重分布；如果只按埋藏学处理，你会怀疑一切观察，最后什么也不敢说。
更麻烦的是，三家对“下一步该做什么”给出的指令是冲突的：工程说去加载，遗传说去分层，埋藏说去校正。三条路要花的钱不一样，要收集的数据不一样，得出的结论也不一样。这才是碰撞，不是互补。
现在把三家放在一起看，会发现它们在打架之前先默认了同一件事。
三家的争论全部发生在“没出事说明什么”这一层，而没有一家在自己的日常实践里质疑过更前面那一层：存在一个叫作“缺了它会怎样”的事实，等着被读出来。 工程师默认模型里那个“倒了没有”是清楚的；遗传学家默认“发病没发病”是清楚的；考古学家默认“有没有那件东西”是清楚的——他们承认自己看不清，但仍认为那件事本身是确定的，只是被遮住了。
这个共有前提之所以难被察觉，是因为它太像常识。缺了就是缺了，出事就是出事。
而三家各自的经验，恰恰在自己的领域里推翻了它。
结构工程的自证：单构件移除通过而双构件移除失败，这在实际算例中是常态。也就是说，“缺了它会怎样”的答案取决于你一次拿掉几个——它不是一个事实，是一族事实，每个移除方案对应一个。既然如此，就不存在一个无参数的“缺了它会怎样”。
遗传学的自证：同一个变异，在不同背景下、在不同的观察人群里，外显率可以差好几倍。也就是说，“缺了它会怎样”的答案取决于你从哪里开始数——它不是一个事实，是一族事实，每个抽样框对应一个。
埋藏学的自证：同样的过去，在不同的保存与发掘条件下，可以呈现为“有”，也可以呈现为“没有”。也就是说，“缺了它会怎样”的答案取决于你的记录有多细——它不是一个事实，是一族事实，每个记录粒度对应一个。
三条自证的形状完全一样：共有前提假定了一个单数，而三家的实践各自证明它是复数。
于是共有前提被取消，本章的承重命题出现：
必需性不是成分的属性，是移除方案的属性。 一句「X 是不是必需的」在指定三件事之前没有真值：同时移除什么（移除集）、在什么背景下（分层）、用多粗的记录去看（粒度）。
这句话的第一个后果，就是把“不需要音乐的人”从“反例”改判为“未完成的观察”——不是说他们不构成反例，而是说在补齐这三个参数之前，他们还不构成任何东西。
碰撞不是单向取用。三门学科在给出原理的同时，也各自对本章施加了限制；不写出来，就是只拿好处不认账。
结构工程的限制：不要把“有替代路径”当成好消息。 工程上关心备用传力路径，从来不是为了说明构件可以省，而是为了算清楚在备用路径承力时，剩下的构件还剩多少余量。一栋楼拆掉一根柱子不倒，工程师的下一句话通常是“现在别的柱子的应力已经接近限值”。搬到本章：如果失歌症者用别的承担者完成了那些功能，正确的推论不是“音乐可以省”，而是“他的其他承担者正在以更高的负荷工作”，而这件事有代价，且本章测不到。本章因此不得用“有替代”去论证“无所谓”。
遗传学的限制：外显率不是零和一，本章的二值判定太粗。 遗传学处理的从来不是“发病/不发病”这一对，而是外显率与表现度两个连续量。本章为了可判定，把功能失效定义成二值（还认不认得出来），这在方法上是一次简化，代价是丢掉了“部分失效”这一整片。第十三节的四格因此是一张粗表，不是一张精表。凡把本章的四格当成完备分类的人，都超出了本章能担保的范围。
埋藏学的限制：校正过滤需要独立的知识，而本章没有。 考古学能估计保存概率，靠的是实验埋藏、民族考古与已知沉积过程——是外部知识，不是从同一批出土物里推出来的。本章的粒度对照只是把记录改粗一次，然后看读数怎么变；它演示了过滤会改变结论，却不能给出真实过滤的大小。因此本章有资格说“记录粒度生产事实”，没有资格说“实际过滤是多少”。
三条限制合起来指向同一个位置：本章能证明的是“这类观察不可直接读”，不能证明“实情是什么”。这是一把清障的工具，不是一份结论。
把上面那句话变成一个可以数的东西，需要一个新名字。
共移除阈 k*：在给定背景与给定记录粒度下，要让某项功能真正失效，最少必须同时移除的承担者个数。
它不是“这个成分重不重要”的分数，而是“这个功能被几重东西兜着”的计数。k*=1 表示这项功能只挂在一个承担者身上，拿掉它就完；k*=3 表示必须同时拿掉三个才会出事，任何单独一个看起来都“不必需”。
有了它，本章开头那句令人不安的话可以被翻译成一个具体的问题：
说某人不需要音乐，通常只报告了一件事——在他身上把音乐这一个成分拿掉，功能没有失效。这只说明 k* > 1。它没有说 k* 等于几，也没有说另外那些承担者是谁。
而 k* > 1 在任何有替代路径的系统里都是常态，因此它几乎不含信息。“某某不需要音乐”这句话，在信息量上等于“这栋楼拆一根柱子没塌”。
记法：k*|g。 竖线后面的 g 是记录粒度，它不是注脚，是读数的一部分。脱掉 g 单报一个 k*，视为未报——这一点在本章第十七节会被数据狠狠地证明一次。
计数规则四条：
一、承担者必须先被列出来，才能计数。一个没有列出候选承担者清单的 k* 不成立。清单可以不完备，但必须写出来，并写明凭什么把某项列进去。
二、同时移除是字面意思。先后移除不算：先拿掉 A 再拿掉 B，中间系统已经重组过一次，这是另一种实验。
三、功能失效必须事先定义并可判定，且不得使用“变差了”“不如从前”这类程度词。本章采用的判定是二值的：还认不认得出来。
四、k* 是一个下界的估计。你只能证明“拿掉这 k 个会失效”，不能证明“没有比 k 更小的失效组合”，除非你穷举。凡未穷举，须报告搜索方式。
必须说清楚 k* 在本卷里的身份，否则它会被误当成第十把量尺，与前九个读数并列。
前九个读数各自测的是音乐在做什么：换手率测发起权怎么转移，μ 测有多少位置没有价格，U 测次序读不读得出，Ω 测还剩几种组织方式。它们是同一层上的九个量。
k* 不在这一层。它测的是一个判断能不能成立——具体说，是“某成分是否必需”这个判断在给定条件下有没有真值。它可以被用到前九章的任何一个读数上：拿掉音乐，换手率还剩多少？拿掉音乐，那些没有价格的位置由什么实践生产？k* 是这些问题的计数形式，而不是与它们并列的另一个答案。
由此有两条使用限制：
其一，k* 不进本卷附录一的九读数总表。 那张表里的每一行都配报了本卷的实测值；k* 在人的一侧没有实测值，把它塞进去会造成一种它已经被测过的印象。它单列在本章。
其二，k* 不能用来给前九章排序。 有人可能想用它算出“哪一章讲的功能最不可替代”，进而给九章分高下。这个用法不成立：九章的功能操作化各不相同，承担者清单也各不相同，k* 在它们之间不可比。同一把尺子量不同的东西，量出来的数不能横着比。
共有前提被取消之后，“观察到的不需要”就不再是一个读数，而是一个经过三道生成器之后的输出。这三道生成器分别对应三门来源学科：
第一道：替代路径（结构工程）。 功能被别的承担者接过去了。系统看起来完好，代价藏在别的地方——别的承担者正以更高的负荷工作，余量被吃掉了。这一道生成的是“看起来不必需”。
第二道：背景修饰（遗传学）。 同样的移除，在不同的人身上、不同的环境里给出不同结局。这一道生成的是“在有些人身上不必需”。
第三道：记录过滤（埋藏学）。 那个东西可能一直在，只是不进记录。这一道生成的是“看起来根本不存在”。
三道生成器叠在一起，就得到日常语言里那句“他不需要音乐”。要把这句话还原成一个可检验的判断，必须逐道拆开：先问记录，再问背景，最后才问路径。顺序不能反——如果记录那一道没校正，后面两道全是在分析噪声。
把「实际的 k*」与「观察到的必需性」交叉，得到本章的骨架——移除方案表的最简形式：
| 观察到”缺了会出事” | 观察到”缺了没事” | |
|---|---|---|
| k* = 1（只有一个承担者） | 真必需：观察与实情一致 | 假不需：多半是记录过滤造成的（功能其实已经失效，只是没进记录） |
| k* > 1（多个承担者） | 假必需：多半是背景造成的（这个人恰好没有别的承担者，被误当成普遍规律） | 真不需？——不，这一格才是常态，它什么也没说明 |
右下角那一格是本章要处理的全部对象。前九章讲的机制、那些不需要音乐的人、以及绝大多数关于“某某可有可无”的日常判断，全部落在这一格里。而这一格的正确读法不是“不需要”，是“这次移除的规模不够，或者承担者清单不完整”。
左下角那一格值得单独提一句，因为它最容易被忽略：当功能失效但记录不记录它时，我们会看到“缺了没事”。一个失歌症者可能在葬礼上确实没有获得那种共同承担，但既没有人问，他自己也未必有词可说——这件事不进任何记录。
k* 的第一条计数规则是“承担者必须先被列出来”。这条规则很容易被当成空话，所以这里给出三条来源，并对前九章的功能做一次试列——试列一定是不完备的，写出来是为了让别人有东西可改。
来源一：被移除者自己的替代行为。 问那些缺了某个承担者的人：他们在同样的场合做什么。这是最直接、也最容易被自我叙述污染的一条。
来源二：场合的强制结构。 有些场合本身要求某项功能必须被完成——葬礼必须有一段共同的时间，集体劳动必须有共同的节奏，等待必须被填。看这些场合在没有音乐时由什么填满，比问人更可靠。
来源三：历史与跨文化的替换记录。 某项实践被禁止或消失时，什么顶上来。这一条信息量最大，但受第三道生成器的影响也最重。
试列如下（每项后括号内是它最像哪一章的功能）：
| 承担者 | 最接近的功能 | 与音乐相比的代价 |
|---|---|---|
| 交谈中的轮次接续 | 共同的下一步（第一章） | 要求语言共通，且一次一人 |
| 共餐与共同劳动 | 共同的下一步、缓判的时间 | 需要场地与物资，频率低 |
| 仪式与诵念 | 未结算的意义（第二章） | 需要制度支持，进入门槛高 |
| 体育与舞蹈 | 共同的下一步、身体同步 | 需要体能，排除部分人群 |
| 游戏与棋牌 | 缓判的时间（第三章） | 有胜负，后果不够低 |
| 影视与阅读 | 缓判的时间、关系位置更新 | 单向，不产生共写 |
| 手艺与方言 | 换算率的生产（第五章） | 学习周期长 |
| 散步与独处 | 重组余隙（第七章） | 不产生公共记录 |
这张表最要紧的不是它列了什么，而是最右一列：每一个替代承担者都带着自己的代价，而“音乐是否更便宜、更快、更可反复”正是前九章从未测过、本章也没测的那件事。在这一列被填上数字之前，“音乐可被替代”与“音乐不可替代”两句话都不成立。
本章完成一场预注册真跑。必须先说清楚它测什么、不测什么。
它不测人。 失歌症者、音乐快感缺失者与少用音乐的社会，本场一个数据点都没有。这一点写在预注册文件的第六节，不是事后的辩解。
它测的是命题的一般形式：在一个有替代路径的系统里，单成分移除能不能用来判定必需性；以及记录粒度是否会生成必需性。
预注册文件 prereg_ch10.md 写于任何统计量被计算之前，SHA-256 前二十四位 8a26ef54b60a0a5469540d68。语料与本卷附录五同批：The Session 公开数据中每首至少有二十条实现的曲调，共 123 首。
口径：每曲以最早三条实现的逐位置多数作为该曲的参照；第四至第二十条（每曲十七条，共 2,091 条）作为待识别项；识别规则是把待识别项与全部 123 个参照逐一算编辑距离，最近者判为该曲，并列判为失败。移除操作有两种方案——分散（均匀随机 k 个位置）与成块（随机起点的连续 k 个位置），k 取 1、2、4、8、16、32，每个组合重复三次，种子 20260816。粒度对照采用骨干粒度：每两个音程保留一个，模拟记录省略细节。
k* 的判定：使某曲十七条待识别项的识别准确率首次跌破 0.50 的最小 k；在 k=32 内未跌破者记为删失。
四条假设与判据（事先写死）：
作废条件三条：基线准确率低于 0.60、入选曲调少于 60 首、任一档的重复间标准差超过 0.10。
并且写死：H1 若被驳，本章第一层命题不成立，不得成文。
基线识别准确率 A₀ = 0.6963（骨干粒度下 0.4137）。入选 123 首，三条作废条件均未触发。
| k | 分散移除 | 成块移除 | 成块−分散 |
|---|---|---|---|
| 0（基线） | 0.6963 | 0.6963 | — |
| 1 | 0.6911 | 0.6911 | +0.0000 |
| 2 | 0.6789 | 0.6813 | +0.0024 |
| 4 | 0.6622 | 0.6608 | −0.0014 |
| 8 | 0.6166 | 0.6223 | +0.0057 |
| 16 | 0.5085 | 0.5143 | +0.0057 |
| 32 | 0.2289 | 0.2723 | +0.0434 |
H1 支持。 删掉一个成分，识别率从 0.6963 掉到 0.6911——半个百分点。判据要求不低于基线的 95%（0.6615），实测远在其上。更值得注意的是右下角：删掉三十二个音程，仍有 22.9% 认得出来。单成分移除在这个系统里几乎不含判定力，第一层命题站住。
H2 未达支持。 k* 的四分位距是 24（判据要求不小于 2，通过），但删失比例只有 11.4%（判据要求不低于 25%，未通过）。按预注册，两条须同时满足才算支持，因此记为未达支持。k* 的分布本身很说明问题：51 首在 k=32 才失效，28 首在 k=1 就失效，22 首在 k=16，14 首连 k=32 都撑住。同一个语料里，不同曲调的必需性阈值差了一个数量级以上。
H3 被驳，且方向相反。 我押的是“成块移除更致命”，实测在 k=8 上成块比分散高 0.0057，在 k=32 上成块高 0.0434。判据写的是“差值不超过 0.02 或方向相反即被驳”，两条都触发。
H4 支持。 骨干粒度下 k* 的中位数从 32 掉到 1，差值 31，远超判据要求的 2。
总体准确率只能说明平均情况，k* 的分布更能说明问题。在全粒度、分散移除、预注册的绝对阈口径下，123 首曲调的 k* 分布是：
| k* | 曲调数 | 占比 |
|---|---|---|
| 1 | 28 | 22.8% |
| 4 | 2 | 1.6% |
| 8 | 6 | 4.9% |
| 16 | 22 | 17.9% |
| 32 | 51 | 41.5% |
| >32（删失） | 14 | 11.4% |
两端相差一个数量级以上：有 28 首曲调删掉一个音程就认不出来，也有 14 首删掉三十二个仍然认得出来。 如果只报一个总体中位数，这两类曲调会被抹成同一个数。
这个分布对本章的主张是双向的。对本章有利的一面：阈值确实高度分散，说明“必需性”不是某个成分的固有属性，而随对象变化——这正是遗传学那条腿讲的背景修饰。对本章不利的一面：那 28 首 k*=1 的曲调说明，在某些对象上单成分移除确实有判定力。本章不能说单成分移除永远无效，只能说它在多数对象上无效，而你事先不知道自己面对的是哪一类。
这一条必须写进读数的使用说明：报告 k* 时必须报告分布，不得只报中位数。 一个中位 32 的语料里藏着两成多的 k*=1，这件事在任何决策场合都比中位数重要。
这是本章最值钱的一处，因为它改掉的是读数的定义本身。
我原本认为，移除方案的关键维度是形状——连续拿掉八个，应该比零散拿掉八个更致命，因为连续移除会毁掉一整段结构，而零散移除留下的碎片仍可拼合。数据说不是。两种形状的差别在所有档位上都不超过一个百分点，只有在移除量极大（k=32）时才出现四个百分点，而且方向与我押的相反——成块移除反而更容易被认出来。
事后想，这个方向是可以理解的：成块移除留下的是一段完整的、未被打乱的剩余，而分散移除把整条序列打得处处是洞。但“事后可以理解”不是成绩，它只说明我押注前没想清楚。
修订如下：
撤回“移除方案的形状是关键维度”。 读数的第二参数不再是移除方案 m，而是记录粒度 g。记法由 k*|(m, g) 收缩为 k*|g。
一般命题随之收紧：决定一件东西“看起来必不必需”的，不是你按什么形状去移除，而是你用多粗的记录去看。三道生成器里真正咬住数据的，是埋藏那一道。
这个修订让本章变窄了，也让它更硬：原来的版本要求人们在做移除判断时同时指定形状与粒度两个参数，现在只要求一个——但那一个是强制的，而且量级极大。
本章必须自陈一处错误，而且它是本产线的第三次同类错误。
H4 的判据用的是绝对阈值 0.50：识别准确率跌破 0.50 即算失效。但骨干粒度下的基线本身只有 0.4137——已经低于 0.50。也就是说，在那个条件下，任何 k 值都会“跌破 0.50”，k*=1 大半是基线塌陷造成的假象，不是阈值真的下降。
这是设计上的失误，不是执行上的失误：判据在写的时候没有考虑两个条件的基线不可比。（前两次分别是：一份稿件的样本量阶梯步长不等却用原始降幅作判据；另一份的分组变量本身就是时间变量，因而设计上无法分离位置属性。）
事后按相对阈重算（阈值改为该曲基线的一半），结果如下：全粒度 k* 中位 32、删失 30.3%；骨干粒度 k* 中位 16、删失 3.4%。
两处变化必须如实登记：
其一，H4 仍然成立，但量级从 31 缩到 16。 记录粒度确实生成必需性，但没有原始口径显示的那么夸张。
其二，H2 在修正口径下转为支持（四分位距远大于 2，删失 30.3% 超过 25%）。但这是事后口径，因此只能记作“未被推翻”，不能记作“已证实”。本卷第五章处理它的抵抗检验时用的是同一条规矩，本章沿用。
新增欠账：相对阈口径须独立预注册重跑一次，记为 F-ch10-bis。
它测的是曲调，不是人。
这一点值得说得更重一些，因为读到这里的读者很可能已经在心里把两者接起来了：既然单成分移除在曲调上几乎不含判定力，那么在人身上大概也一样。这个推论没有被本章证明，本章也不打算靠它蒙混过关。
真跑给出的是一般形式的一个实例：在一个有替代路径、有背景差异、有记录过滤的系统里，“拿掉一个看看”这种做法不能判定必需性，而记录粒度会大幅改变判定结果。人是不是这样一个系统，需要另外的证据。
因此本章的结构是这样的：第一层（必需性是移除方案的属性）有一场真跑支持；第二层（不需要音乐的人不构成反例）目前零证据，只有一个可执行的实验设计（下一节）。凡引用本章者，请分开引用这两层。
本章原本计划用一份关于人的数据：全国性时间使用调查。这类调查记录每个受访者一天里各项活动的分钟数，其中包括“听音乐”这一码，因而看起来正好可以回答“那些音乐时间为零的人，把时间花在了哪里”。
这个计划在两个地方失败了，两处都值得写下来。
第一处是取数失败。 官方数据文件在本次执行时无法从公开端点取得（服务端拒绝），可用的镜像也没有对应年份的汇总文件。本章不使用无法被读者按同一路径取到的数据，因此放弃。
第二处更重要，而且它其实是本章第三道生成器的当代实例。 这类调查通常只记录主要活动，而听音乐大量地作为伴随活动发生——开车、做饭、走路、工作时。于是在这类数据里，绝大多数受访者的音乐时间是零。任何人拿这个零去论证“多数人不需要音乐”，都是在把记录格式当成世界。
这件事的讽刺之处在于：如果第一处失败没有发生，本章很可能会用这份数据做出一个漂亮而错误的分析。埋藏学那条腿在这里救了本章一次——它让我在拿到数据之前就知道那个零意味着什么。
这也留下一条可执行的欠账：谁能取得带伴随活动记录的时间使用数据，谁就能直接估计这一道过滤的大小，也就能给出本章至今给不出的那个数——实际的记录过滤率。
现在可以逐一处理三类反例了。处理的方式不是判定他们需不需要，而是指出每一类各缺哪几个参数。
第一类：先天性失歌症。
这是加工侧的缺陷：音高辨别与旋律轮廓的加工不稳定。按本章的框架，这不是“移除了音乐”，而是移除了音乐的一条输入通道。承担者清单里被拿掉的是“通过音高关系获得的那部分”，而节奏、身体同步、共同在场、歌词内容、场合本身全都还在。
所以在失歌症者身上，k* 的问题是：把音高通道拿掉之后，前九章的那些功能是由剩下的哪几个承担者接过去的？这是一个可以问、可以答、至今没人这样问过的问题。 现有研究测的是他们在音乐任务上的表现，而不是他们在那些功能上的表现——两者不是一回事。
第二类：特异性音乐快感缺失。
这一类更干净：加工正常，奖赏不来。他们能听出走调，能跟上节拍，只是音乐不给他们奖赏，而金钱、食物等其他奖赏反应正常。
按本章的框架，这里被移除的是奖赏这一条承担路径，而不是音乐本身。于是问题变成：前九章讲的那些功能——共同的下一步、未结算的意义、缓判的时间、换算率的空白——有几项是必须经由奖赏才能实现的？
这个问题的答案很可能是“很少”。第一章讲的共同先后不需要你觉得好听；第三章讲的缓判只要求有一段低后果的时间；第五章讲的换算率生产只要求有人接着用。如果这几项在音乐快感缺失者身上照样成立，那么前九章的机制就不是奖赏机制——这会同时削弱“音乐是因为让人愉快才被需要”这个最流行的答案。本章不能宣布这一点，但可以把它写成一个可判决的预测（见 F3）。
第三类：限制或极少使用音乐的社会。
这一类的问题几乎全在第三道生成器上。要说某个社会“没有音乐”，先得说明如果它有，我们会不会看见。人声、身体节奏、劳动号子、诵念、无器乐的仪式——这些在物质记录与文书记录里的可见度极低，而在被记录时又常常不被归类为“音乐”。很多“没有音乐的社会”，实际是“没有被我们的分类接住的有组织声音”。
更要紧的是：这些社会往往对某一类声音活动有明确的规范——禁止什么、允许什么、什么场合可以、什么人不可以。一个需要专门规范去限制的东西，不是一个可有可无的东西。限制本身就是必需性的间接证据，就像消防规范的存在不证明火灾不重要，恰恰相反。
三类合起来，本章的判断是：至今没有任何一类反例，是在补齐了移除集、背景与粒度三个参数之后仍然成立的。 这不等于说反例不成立，只等于说它们还没有被真正提出。
第十三节的四格是一张粗表，现在把三类反例真的填进去，看它们各缺什么。
| 反例 | 观察到的 | 缺的参数 | 目前只能判为 |
|---|---|---|---|
| 先天性失歌症 | 音高通道缺陷，生活完整 | 移除集不完整（只移除了一条输入通道，未移除节奏、共同在场、场合） | 右下格：k* > 1，未定 |
| 音乐快感缺失 | 加工正常，音乐无奖赏，其他奖赏正常 | 功能读数缺失（测的是对音乐的反应，不是那些功能本身） | 右下格：k* > 1，未定 |
| 限制音乐的社会 | 记录中少见有组织的声音活动 | 记录粒度未校正；且”限制”这一事实本身未被计入 | 无法定格：第三道生成器未处理 |
三行都落在同一个位置——不是“反例不成立”，是“参数没填完”。而三行缺的参数各不相同：第一行缺移除集，第二行缺功能读数，第三行缺粒度校正。这三件事分别对应三门来源学科的三条第一原理，这是本章唯一一处三家同时兑现的地方，也是本章敢于把三家并置的理由。
值得单独说的是第三行为什么连格都进不去。前两行至少还有一个可信的观察（这些人确实存在，确实那样），第三行连观察本身都没有通过第一道校正。在保存与检出概率被估出来之前，“这个社会没有音乐”这句话既不能被接受，也不能被否定——它还不是一个命题。
不能只留判断，必须留下一个别人可以照着做、并且可能把本章打死的设计。
对象：三组，各三十人——音乐快感缺失组（按标准问卷筛选，且金钱奖赏反应正常）、失歌症组（按标准测验筛选）、匹配对照组。三组在年龄、教育、社交频率上匹配。
功能，不是音乐。 关键设计在这里：测的不是他们对音乐的反应，而是前九章那些功能本身。选三项最容易操作化的：
承担者清单：对每位被试，列出他在完成上述功能时实际调用的活动（对话、共餐、运动、宗教活动、影视、游戏、独处、劳动等），并要求他自评每一项的可替代性。
预测（可判决）：三组在功能读数上无显著差异，但在承担者构成上差异显著——即快感缺失组与失歌症组用别的承担者达到了同样的功能。若三组在功能读数上出现显著差异，且差异方向是这两组更差，本章第二层命题被驳。
成本：这是一个研究生一年可以完成的规模。本章之所以没做，不是因为难，而是因为本卷成书时没有真人实验的条件——这一点在前言里已经写明，是全卷最大的软处。
预先说清楚认输之后怎么办，比事后补救更有价值。
情形一：最小实验做出来，三组功能读数无差异，承担者构成差异显著。 这是本章预测的结果。它同时意味着一件对全卷不利的事——前九章讲的机制不是关于音乐的，而是关于人的处境的，音乐只是其中最普遍、最便宜的一种实现。那样一来，这一卷的书名应当改成《为何需要这些功能，以及音乐为什么常常是最便宜的那条路》，九章的读数一个都不用改，但每一章的主语要换。
情形二：三组功能读数出现显著差异，且快感缺失组与失歌症组更差。 本章第二层被驳，而前九章反而得到支持——音乐确实不易替代。那时该改的是本章，不是前九章：第十三节的四格要加一格“真必需且清单极短”，而本章从“回头量前九章的尺子”降级为“一次失败的反例检验”。
情形三：功能读数无差异，承担者构成也无差异。 这是最糟的一种，意味着我们的功能读数根本没有测到任何东西。那时该被怀疑的是前九章的操作化，而不是本章。
三种情形里，只有情形二对本章不利，而它恰恰是本章最希望被人做出来的那一种——因为只有它能证明前九章讲的东西是真的。
本章与前九章的关系不是并列的第十项，而是一把回头量它们的尺子。
一句话：前九章证明了音乐在做很多事；本章说明这不等于只有音乐能做这些事，而且现有的观察方式还不足以判断。
以下每一位都能盖住本章的一部分，因此必须给出可由同一案例判决的差别，而不是说“本章更具体”。
一、密尔的求同求异法。 消去法是“必要条件”的经典程序：若去掉某因素而现象仍出现，该因素非必要。分界：密尔的程序默认每次只去掉一个因素，而本章的全部内容是证明单因素移除在有替代路径的系统里不产生信息。同一案例给出相反判断——密尔判“非必要”，本章判“未定，须报 k* 与 g”。
二、马基的 INUS 条件。 一个原因是某个充分条件簇中不充分但必要的部分。这是与本章最近的哲学邻居：必需性是簇的属性而非成分的属性。分界：INUS 是概念分析，不给计数程序；本章给出可测的 k* 与强制配报的粒度，并因此可以被数据推翻——INUS 不承担这种风险。
三、刘易斯的反事实因果与预占。 备用路径正是“预占”（一个原因被抢先，替补待命）的标准结构。分界：预占讨论的是单个事件的因果归属，本章讨论的是一族移除方案下的功能存续；且本章加了一层刘易斯不处理的东西——观察本身被记录粒度生成。
四、默顿的功能替代项。 社会学早就写下“同一功能可由不同结构承担”。分界：功能替代项是一个定性框架，它不要求也不提供“同时移除几个才失效”的计数；本章的 k* 正是把它变成一个数，并给出记法。这一位是本章最该承认的先行者，不宜与之划界过狠。
五、埃德尔曼与加利的简并性。 结构不同的元件完成同一功能，这在生物系统里被论证为普遍性质。分界：简并性解释“为什么替代路径存在”，本章处理“因此该怎么判定必需性、以及观察为何不可信”。两者互补而非竞争，本章引用它作为第一道生成器的机制说明。
六、合成致死。 两个基因单独敲除都无表型、同时敲除致死——这是 k*=2 的现成实例，也是本章计数思想的直接先例。分界：合成致死是二元的（致死/不致死）且以成对为主，本章要求的是一个连续的阈值分布，并强制与记录粒度配报。本章欠这一族一份明确的致敬。
七、生态学的功能冗余与保险假说。 移除一个物种而功能不变，因为别的物种补位。分界：该文献的读数是功能水平随物种数的变化曲线，本章的读数是使功能失效所需的最小同时移除数——前者测的是斜率，后者测的是阈值；且本章把观察过滤显式写进读数。
八、多重可实现性。 同一功能可由不同物理基础实现。分界：这是本体论主张，本章是测量主张。若某人用多重可实现性论证“音乐不必需”，本章的回答是：那正说明单成分移除不含信息，而不是说明该成分不重要。
九、可靠性工程的纵深防御与共因失效。 多重屏障、失效相关性。分界：本卷第五章已用过这一族的一条原理，本章不重复；差别在于工程的屏障是被设计出来的、清单是已知的，而本章处理的是清单未知的情况——k* 的第一条计数规则（承担者必须先被列出来）正是为此而设。
十、鲁宾的缺失数据机制。 随机缺失与非随机缺失的区分，是“记录过滤”的统计学正主。分界：缺失数据理论处理的是已知有一个值但没记下来；埋藏学与本章处理的是连“有没有值”都由记录格式决定。前者可以插补，后者不能。
十一、失歌症与音乐快感缺失的现有研究。 它们是本章的对象文献，不是竞争者。本章欠它们的：本章没有产生任何关于这两个群体的新数据，只提出了一种新的提问方式（测功能而不是测音乐反应）。
十二、否定性证据的考古学讨论。 “证据的缺席不是缺席的证据”这句话已经被说过无数次。分界：这句话是一个警告，本章要给的是一个程序——先估记录过滤，再谈背景，最后谈路径，且三者有强制顺序。警告与程序的差别，就是本章存在的全部理由。
上一节列了十二位，但有两位值得单独再说一句，因为本章从它们那里拿走的东西最多，而能还回去的最少。
默顿的功能替代项。本章的整个骨架——同一功能可由不同结构承担、因此不能从“某结构缺席”推出“功能缺席”——在社会学里已经躺了七十多年。本章新加的只有两样：一个可以数的量（k*），以及一条强制的报告规则（必须配报记录粒度）。如果有人说本章不过是把功能替代项数量化了一遍，这个说法基本成立，本章不打算辩解；能辩解的只有一点，就是数量化之后它可以被数据打掉，而定性框架不会。
合成致死。“单独敲除都无表型、同时敲除致死”这句话，就是 k*=2 的完整表述，而且它比本章早了几十年，还带着一整套筛选技术。本章与它的差别只在于：合成致死做的是全基因组的成对穷举，因而可以宣称找到了最小失效组合；本章的 k* 是下界估计，没有穷举，只能报告搜索方式。这个差别对本章不利。 合成致死告诉本章一件事：k* 要成为一个可信的量，最终需要的是穷举式的成对筛选，而不是随机移除。 这是本章留给后来者最实在的一条技术路线。
证伪条款是给别人用的，这一节是我自己的判断：如果本章将来被推翻，最可能是从哪里塌的。
第一可能：读数在人身上不可操作。 k* 要求列出承担者清单并同时移除。曲调可以随便删，人不能。真实的研究里，“同时移除三个承担者”要么伦理上不允许，要么现实中做不到，能做的只有自然实验（某人恰好同时失去几项）。如果这类自然实验太罕见，k* 在人身上永远只能被估计，不能被测量。这是最可能的一种死法，而且不是被证伪，是被搁置。
第二可能：三道生成器的顺序是错的。 本章主张先记录、再背景、后路径。这个顺序来自三门学科的强度直觉，没有任何数据支持。如果实际的过滤远小于背景差异，正确顺序就该反过来。这一条是零证据的方法主张，我在诚实账表里已经如此登记。
第三可能：k*=1 的那两成才是关键。 本章把 28 首 k*=1 的曲调当作“本章不利的一面”轻轻带过。但也许真正有意思的问题不是“为什么多数对象的阈值很高”，而是“什么让一个对象的阈值降到 1”。如果那才是有价值的问题，本章就问错了方向——不是问错了答案，是问错了问题，这比被证伪更难看。
写下这三条，是因为一章文章如果连自己最可能怎么死都说不出来，它多半没有真的在赌。
到 2031 年 12 月 31 日，我押：会出现至少一项研究，测量音乐快感缺失者或失歌症者在非音乐功能读数（协调、缓判、关系位置更新之类）上的表现，而不是仅测他们对音乐的反应；并且该研究报告这些人的功能读数与对照组无显著差异。
什么不算命中（七条，事先写死）：
一、只测音乐能力或音乐偏好的研究不算。二、只测生活满意度、幸福感之类总体量表的研究不算。三、只有横断相关而无功能任务的不算。四、把“社交频率”当功能读数的不算——那是承担者，不是功能。五、样本量小于每组二十人的不算。六、研究者自己声称“证实了音乐可被替代”但未报承担者构成的不算。七、本章作者参与的研究不算。
若到期没有出现这样的研究，或出现了而结果相反，我认输，并承认第二层命题在可预见的时间内不可检验——那时本章应当被降级为一份研究纲领，而不是一个结论。
| 主张 | 状态 |
|---|---|
| 必需性是移除方案的属性（第一层） | 一场真跑支持（H1） |
| 单成分移除在有替代路径的系统里不含判定力 | 强支持（k=1 掉 0.5 个百分点；k=32 仍有 22.9%） |
| 记录粒度生成必需性 | 支持，但量级由 31 缩到 16（相对阈复算） |
| 移除方案的形状是关键维度 | 已撤回（H3 被驳且方向相反） |
| k* 因背景而异 | 预注册口径未达支持；事后相对阈口径支持 ⇒ 记为未被推翻 |
| 不需要音乐的人不构成反例（第二层） | 零证据，只有实验设计 |
| 失歌症者用别的承担者完成同样的功能 | 零证据 |
| 限制音乐的社会中，限制本身是必需性的间接证据 | 零证据，属论证不属测量 |
| 三道生成器有强制顺序（先记录、再背景、后路径） | 零证据，属方法主张 |
| k* 是下界估计 | 定义性，不承担经验风险 |
边界一：本章只适用于存在替代路径的系统。在没有替代路径的系统里（单点故障），单成分移除完全有效，k*=1，本章无话可说也不必说。
边界二：本章不适用于伦理判断。“必需性未定”不等于“可以随便拿掉”。恰恰相反，本章的结论是余量正在被别的承担者以更高负荷吃掉——未失效不等于没有代价。
边界三：本章的读数需要一份承担者清单，而清单永远不完备。凡使用 k* 者必须报告清单是怎么来的。
反噬：本章最容易被误用的方式，是变成一件挡箭牌——任何人只要说“你的移除方案不完整”，就可以让任何反例失效。这会把本章变成一个不可错的装置，而那正是第二节批评过的第一条廉价读法。
防止这一点的办法只有一个，而且必须写在正文里：凡援引本章反驳一个反例的人，必须同时给出他认为正确的移除方案，并说明该方案如何可被执行。 提不出方案的援引一律无效。本章的价值在于把“需要”变成一个有参数的问题，不在于让“需要”变得不可反驳。
按本章自己的框架，本章这一章是不是必需的？
把它从本卷移除，卷三还剩九章，每一章的论证都不受影响，全书照样成立——单成分移除通过。按第二节的第一种廉价读法，可以据此说本章不必需。
但按本章自己的框架，正确的说法是：这只说明 k* > 1。本卷里承担“处理反例”这个功能的承担者清单目前只有两项——本章，以及前言里那句“这一卷九章全部建在公开语料上，没有一章做过真人实验”的自陈。移除本章，功能落到了那一句自陈上，而那一句显然承担不起。
所以本章对自己的判定是：k*|g = 2|全书粒度，且第二个承担者严重不足。这不是谦虚，是按同一把尺子量出来的结果。
第一条：凡是用“拿掉它看看有没有出事”来判定必需性的做法，在任何有替代路径的系统里都不产生信息。 它适用于组织裁撤（撤掉一个岗位没出事）、功能删减（下掉一个功能没人投诉）、制度废止（取消一道审批没出乱子）、以及公共服务的评估。这些判断在今天绝大多数是按单成分移除做出的，而按本章的结论，它们几乎全部无效——它们测到的只是余量，而不是必需性。
第二条：任何关于“没有”的判断，必须先报告记录粒度。 你用多粗的记录去看，决定了你会看到多少个“没有”。这一条在本章的数据上有一个尖锐的形式：同一批曲调，换一种记录粒度，“必需性阈值”的中位数就从三十二掉到十六。记录格式不是中立的容器，它生产事实。
「他不需要音乐」这句话，读起来像一个观察，其实是一个结论；而且是一个在三个参数被填上之前无法成立的结论。
本章能做的，是把这句话改写成它应有的完整形式：
在记录粒度 g 之下，把承担者清单里的这 k 项同时移除，在这样的背景中，某项功能失效了／没有失效。
写成这个样子之后，那句话不再动人，也不再好用。但它第一次变得可以被别人算错。
而这一卷全部的赌注，就押在“可以被算错”这件事上。前九章各自交出一个读数，本章交出的是一把回头量它们的尺子——并且这把尺子第一个量到的，是本章自己。