reword details on keeping closure property

1 files changed, 4 insertions, 4 deletions

diff --git a/doc/manual/src/architecture/store/objects.md b/doc/manual/src/architecture/store/objects.md
index 30683d22d..f7587e112 100644
--- a/doc/manual/src/architecture/store/objects.md
+++ b/doc/manual/src/architecture/store/objects.md
@@ -43,12 +43,12 @@ Nix stores have the *closure property*: for each store object in the store, all
 
 Building, copying and deleting store objects must be done in a way that obeys this property:
 
-- We can only safely delete unreferenced objects.
+- Build results must only refer to store objects in the closure of the build inputs.
 
-- When copying, to maintain correctness, either the result must be "revealed" atomically to the destination store, or objects must be copied in reference-dependency order.
+- Store objects being copied must refer to objects already in the destination store.
+  Recursive copying must either proceed in dependency order or be atomic.
 
-- Newly built store objects must only refer to store objects in the closure of the build inputs.
-  This ensures the purity of the build.
+- We can only safely delete unreferenced objects.
 
 ### Reference scanning