diff --git a/AGENTS.md b/AGENTS.md
index 939dc96..dde4bdc 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -32,11 +32,6 @@ Release and move `v0` by hand, or cut a new patch tag.
 
 ## Workflow
 
-Real work **not scheduled** becomes a GitHub issue.
-
 Every link in `README.md` must be absolute: `https://github.com/modern-python/<repo>/blob/main/<path>`,
 or `.../tree/main/<path>` for a directory. Never a relative path: `README.md` is also the PyPI long
 description, and PyPI does not rewrite relative links, so a relative one 404s on the package page.
-
-An invariant is a test whose name is the claim, with a docstring opening `INVARIANT:` and a second
-paragraph naming **what breaks it** — design rationale, not a report of what this one test catches.