diff --git a/src/eigenscript/evaluator/interpreter.py b/src/eigenscript/evaluator/interpreter.py
index 026d070..36f9408 100644
--- a/src/eigenscript/evaluator/interpreter.py
+++ b/src/eigenscript/evaluator/interpreter.py
@@ -41,11 +41,7 @@
 from eigenscript.runtime.clarity import (
     ClarityTracker,
     ClarityExplainer,
-    ClarityType,
-    Assumption,
-    detect_assumptions,
     ActiveListener,
-    DialogueManager,
     InteractiveClarifier,
 )
 from eigenscript.builtins import BuiltinFunction, get_builtins
diff --git a/src/eigenscript/runtime/clarity.py b/src/eigenscript/runtime/clarity.py
index f0ea013..01f7327 100644
--- a/src/eigenscript/runtime/clarity.py
+++ b/src/eigenscript/runtime/clarity.py
@@ -26,8 +26,7 @@
 """
 
 import sys
-import numpy as np
-from typing import List, Dict, Optional, Set, Tuple, Any
+from typing import List, Dict, Optional, Tuple, Any
 from dataclasses import dataclass, field
 from enum import Enum
 
@@ -782,7 +781,6 @@ def detect_ambiguity(
         ambiguity = None
 
         if operation == "division":
-            divisor = context.get("divisor")
             divisor_name = context.get("divisor_name", "divisor")
             # Can't statically prove non-zero
             if not context.get("proven_non_zero"):
diff --git a/tests/test_clarity.py b/tests/test_clarity.py
index 37953cc..4702e29 100644
--- a/tests/test_clarity.py
+++ b/tests/test_clarity.py
@@ -137,7 +137,7 @@ def test_register_assumption(self, clarity_tracker):
 
     def test_global_assumptions(self, clarity_tracker):
         """Test global assumptions not tied to a binding."""
-        assumption = clarity_tracker.register_assumption(
+        clarity_tracker.register_assumption(
             name="environment",
             source="runtime",
             context="Assuming production environment",