diff --git a/CLAUDE.md b/CLAUDE.md
index 502016b..4f3f756 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -2,8 +2,8 @@
 
 AILang's only author is an LLM, not a human. It is designed for:
 
-- **Machine readability over human readability.** Source is structured
-  data (`.ail.json`), not text.
+- **Machine readability over human readability.** Source of truth is 
+  structured data (`.ail.json`), not text.
 - **Local reasoning.** Every definition carries its full type and
   effect set, so a signature can be trusted without reading the body.
 - **Provability.** Pure core, explicit algebraic effects.