Additional wording tweaks to 4483

Author: jwakely

xml/issue4483.xml

@@ -29,6 +29,8 @@ We should use `reflect_constant_array` for arrays directly.</p>
 
 <p>The <i>Throws</i> clause of `reflect_constant_array` was updated to include any exception
 thrown by iteration over range.</p>
+
+<note>2025-12-05; LWG telecon. Wording tweaks</note>
 </discussion>
 
 <resolution>
@@ -69,7 +71,8 @@ where the <i>i<sup>th</sup></i> element is
 <p>-11- Let <tt><i>P</i></tt> be
 <ul style="list-style-type: none">
 <li>(11.1) &mdash; If <tt>sizeof...(V) > 0</tt> is `true`, then the template parameter object (<sref ref="[temp.param]"/>) of type const `T[sizeof...(V)]`
-   <del>initialized with `{[:V:]...}`</del><ins>, such that <tt>constant_of(<i>P</i>[<i>I</i>]) == V...[<i>I</i>]</tt> is `true`
+   <del>initialized with `{[:V:]...}`</del><ins>, such that
+   `P[I]` is template argument equivalent (<sref ref="[temp.type]"/>) to the object represented by `V...[I]`
    for all <tt><i>I</i></tt> in the range [`0`, `sizeof...(V)`)</ins>.</li>
 <li>(11.2) &mdash; Otherwise, the template parameter object of type <tt>const array&lt;T, 0&gt;</tt> initialized with `{}`.</li>
 </ul></p>