diff --git a/TODO.md b/TODO.md
index 826d0d9..e33eb6b 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,8 +1,14 @@
+`MergeConflict` 移至 `merge-conflict/` -- 正与 `nothing/` 相同
+
+`barometer-belief.test` -- 在测试中增加书中的叙述 -- 与对 belief-system 的测试相同
+
 # 4.3 Dependencies Explain Contradictions
 
+> https://github.com/cicada-lang/propagator/issues/9
+
 # 4.4 Dependencies Improve Search
 
-> - https://github.com/cicada-lang/propagator/issues/4
+> https://github.com/cicada-lang/propagator/issues/4
 
 # 修复 lattice 笔记
 
diff --git a/src/examples/barometer-belief-system.test.ts b/src/examples/barometer-belief-system.test.ts
index ad78c33..5ca86f3 100644
--- a/src/examples/barometer-belief-system.test.ts
+++ b/src/examples/barometer-belief-system.test.ts
@@ -411,4 +411,10 @@ test("examples / barometer-belief-system", async () => {
         },
       ),
   )
+
+  // log(buildingHeight.content)
+
+  // put(buildingHeight, Belief(Interval(46, 50), ["pressure"]))
+
+  // await run()
 })
diff --git a/src/generic/defineGeneric.ts b/src/generic/defineGeneric.ts
index 613e3d3..f2db5c5 100644
--- a/src/generic/defineGeneric.ts
+++ b/src/generic/defineGeneric.ts
@@ -30,8 +30,8 @@ export function defineGeneric(
         who: "GenericDefinition",
         constroctor: "defineGeneric",
         message,
-        definition,
         args,
+        definition,
       })
 
       throw new Error(`[GenericDefinition] ${message}`)
diff --git a/src/scheduler/schedule.ts b/src/scheduler/schedule.ts
index a5ae4af..cb8a74f 100644
--- a/src/scheduler/schedule.ts
+++ b/src/scheduler/schedule.ts
@@ -16,3 +16,7 @@ export function schedule(propagators: Array<Propagator>): void {
 export function scheduleAllEverScheduledPropagators(): void {
   schedule(Array.from(allEverScheduledPropagators))
 }
+
+export function clearScheduledPropagators(): void {
+  globalScheduler.jobs = []
+}