用途：当两个或更多共享同一前提的修复在同一道关卡上失败时，怀疑前提本身，而不是继续修补。每次共享前提下的失败都是关于该前提的证据。
主要能力与用法：先写下前提，即所有失败修复共同假设的那一句话。在下一次修复前做一次普查，按参与者统计失衡，普查显示哪些参与者持有失衡，而非失衡有多大，并按 Build the Lever 写成可重复运行的脚本。读取偏斜：若每次运行都是同样少数参与者持有大部分失衡，说明有东西在给他们分配该角色，找出这个分配，它就是 Fix Root Causes 意义上的下一个“为什么”。按 Laziness Protocol，移除不对称而非补偿它：在参与者之间轮换角色、随机化分配或移动角色，使没有参与者在每次运行中都持有它；返回路径、共享池、批量交接或周期性再平衡都会保留该分配并在每次运行中增加工作。当前提与参与者无关时，普查变成可重复运行的检查，若前提为假其结果会不同；例如两次增加超时都假设请求到达预期目的地，第三次前先记录实际目的地。
限制与停止条件：在前提被写下且普查存在之前，不要开始下一次修复。若普查在参与者之间是均匀的，则前提不是原因，应到别处寻找原因，并把普查留作证据。该原则不同于 Redesign from First Principles，后者围绕新需求重建设计，而它质疑的是当前设计所假设的一个事实。