diff --git a/NEXT.md b/NEXT.md
index f071b46..79c8327 100644
--- a/NEXT.md
+++ b/NEXT.md
@@ -855,8 +855,9 @@ instruction:
 
 - nothing has been delivered for this name, so the cell still holds the host's body — the one case that is *certain*;
 - a module was delivered and the agent queued it, and the program installs it at its next frame boundary — unconfirmed;
-- a module was delivered and the program is **stopped**, so it has not reached a frame boundary and this is certainly
-not installed yet.
+- a module was delivered and the program is **stopped** — which says nothing either way about whether it installed,
+since the commonest way to stop is to install a body and have it error; what is certain is only that nothing further
+installs until it resumes.
 
 From SBCL: offsets from the function's own start rather than addresses into an object, and `L0:` labels on branch
 targets with the file address that duplicates them dropped. Not source interleaving — SBCL has the mapping and this