accesses -> modifies

proposals/P0856.bs

@@ -285,7 +285,7 @@ notation `L{s, p, sz}`.  The lifetime of `s` thus consists of a disjoint set of
 `has_access_property<S,restrict_access>::value` implies that during any given
 restricted lifetime `L_i{s, p_i, sz_i}` of an instance `s` of `S`, no value of a
 pointer or address of a reference may be used to form a glvalue expression that
-accesses an object with an address in the range `[p_i, p_i + sz_i)` except for
+modifies an object with an address in the range `[p_i, p_i + sz_i)` except for
 those derived from:
 
 - `s.begin()`
@@ -301,10 +301,10 @@ those derived from:
 - Any of these operations on a reference to `s` or the dereference of a pointer
     to `s`.
 
-These restrictions apply to any accesses indeterminately sequenced with the
-beginning or end of the given restricted lifetime `L_i`.  Any other accesses
-that modify the referenced memory through any other means result in undefined
-behavior.
+These restrictions apply to any modifying accesses indeterminately sequenced
+with the beginning or end of the given restricted lifetime `L_i`.  Any other
+accesses that modify the referenced memory through any other means result in
+undefined behavior.
 
 </blockquote>