diff --git a/0-Core-Formalism/lean/Semantics/Semantics.lean b/0-Core-Formalism/lean/Semantics/Semantics.lean
index 51dc237c..55fca853 100644
--- a/0-Core-Formalism/lean/Semantics/Semantics.lean
+++ b/0-Core-Formalism/lean/Semantics/Semantics.lean
@@ -150,6 +150,7 @@ import Semantics.ThresholdVector
 import Semantics.LogogramRotationLoop
 import Semantics.CompressionYield
 import Semantics.WaveformTeleport
+import Semantics.TreeDIATKruskal
 
 import Semantics.FAMM
 import Semantics.HCMMR.Core