diff --git a/docs/DESIGN.md b/docs/DESIGN.md
index d07d461..663b742 100644
--- a/docs/DESIGN.md
+++ b/docs/DESIGN.md
@@ -783,8 +783,8 @@ is too.
 
 **The GC bench (`bench/run.sh`) showed
 Boehm contributing a substantial fraction of runtime on allocation-heavy workloads
-that hold the heap fully live (bench notes in JOURNAL). Sharpened later the same day: the
-mainstream "RC + inference" position was extended with mandatory
+that hold the heap fully live (bench notes in JOURNAL). The
+mainstream "RC + inference" position is extended with mandatory
 LLM-author mode annotations (`borrow` / `own`), explicit `clone`,
 first-class `reuse-as`, and `drop-iterative` data attrs.**
 
@@ -1829,8 +1829,7 @@ contract is what makes growing the schema cheap.
 
 In the MVP, `do` is only a direct call to a built-in effect op (no
 handler). A `lam` term constructs an anonymous function value; free
-variables of its body are captured from the enclosing scope (see
-closure conversion in JOURNAL).
+variables of its body are captured from the enclosing scope.
 
 **`Literal`**: