whose [[]]

spec.html

@@ -6580,7 +6580,7 @@ <h1>
       <dl class="header">
       </dl>
       <emu-alg>
-        1. If _O_.[[PrivateElements]] contains a PrivateElement whose [[Key]] is _P_, then
+        1. If _O_.[[PrivateElements]] contains a PrivateElement _pe_ such that _pe_.[[Key]] is _P_, then
           1. Let _entry_ be that PrivateElement.
           1. Return _entry_.
         1. Return ~empty~.
@@ -24512,10 +24512,10 @@ <h1>
         1. Let _classPrivateEnvironment_ be NewPrivateEnvironment(_outerPrivateEnvironment_).
         1. If |ClassBody?| is present, then
           1. For each String _dn_ of the PrivateBoundIdentifiers of |ClassBody?|, do
-            1. If _classPrivateEnvironment_.[[Names]] contains a Private Name whose [[Description]] is _dn_, then
+            1. If _classPrivateEnvironment_.[[Names]] contains a Private Name _pn_ such that _pn_.[[Description]] is _dn_, then
               1. Assert: This is only possible for getter/setter pairs.
             1. Else,
-              1. Let _name_ be a new Private Name whose [[Description]] value is _dn_.
+              1. Let _name_ be a new Private Name whose [[Description]] is _dn_.
               1. Append _name_ to _classPrivateEnvironment_.[[Names]].
         1. If |ClassHeritage?| is not present, then
           1. Let _protoParent_ be %Object.prototype%.
@@ -24583,7 +24583,7 @@ <h1>
             1. Assert: _element_.[[Kind]] is either ~method~ or ~accessor~.
             1. If IsStatic of _e_ is *false*, let _container_ be _instancePrivateMethods_.
             1. Else, let _container_ be _staticPrivateMethods_.
-            1. If _container_ contains a PrivateElement whose [[Key]] is _element_.[[Key]], then
+            1. If _container_ contains a PrivateElement _pe_ such that _pe_.[[Key]] is _element_.[[Key]], then
               1. Let _existing_ be that PrivateElement.
               1. Assert: _element_.[[Kind]] and _existing_.[[Kind]] are both ~accessor~.
               1. If _element_.[[Get]] is *undefined*, then