diff --git a/spec.html b/spec.html
index 62de4ab6d9..2211e5550b 100644
--- a/spec.html
+++ b/spec.html
@@ -10227,9 +10227,9 @@ <h1>Declarative Environment Records</h1>
           </table>
         </emu-table>
 
-        <p>A <dfn>DeclarativeBinding</dfn> is either a SimpleDeclarativeBinding or an ImportDeclarativeBinding. SimpleDeclarativeBindings can appear in any Declarative Environment Record, but ImportDeclarativeBindings can only appear in a Module Environment Record.</p>
+        <p>A <dfn variants="DeclarativeBindings">DeclarativeBinding</dfn> is either a SimpleDeclarativeBinding or an ImportDeclarativeBinding. SimpleDeclarativeBindings can appear in any Declarative Environment Record, but ImportDeclarativeBindings can only appear in a Module Environment Record.</p>
 
-        <p>A <dfn>SimpleDeclarativeBinding</dfn> has the following fields:</p>
+        <p>A <dfn variants="SimpleDeclarativeBindings">SimpleDeclarativeBinding</dfn> has the following fields:</p>
         <emu-table id="table-fields-of-simpledeclarativebindings" caption="SimpleDeclarativeBinding Fields">
           <table>
             <tr>
@@ -10281,7 +10281,7 @@ <h1>
             <dd>It determines if the argument identifier is one of the identifiers bound by the record.</dd>
           </dl>
           <emu-alg>
-            1. If _envRec_.[[Bindings]] contains a DeclarativeBinding whose [[BoundName]] field equals _N_, return *true*.
+            1. If _envRec_.[[Bindings]] contains a DeclarativeBinding whose [[BoundName]] field is _N_, return *true*.
             1. Return *false*.
           </emu-alg>
         </emu-clause>
@@ -10346,7 +10346,7 @@ <h1>
           </dl>
           <emu-alg>
             1. Assert: _envRec_.HasBinding(_N_) is *true*.
-            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
+            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
             1. Assert: _binding_ is a SimpleDeclarativeBinding.
             1. Assert: _binding_.[[BoundValue]] is ~uninitialized~.
             1. Set _binding_.[[BoundValue]] to _V_.
@@ -10375,7 +10375,7 @@ <h1>
               1. Perform ! _envRec_.CreateMutableBinding(_N_, *true*).
               1. Perform ! _envRec_.InitializeBinding(_N_, _V_).
               1. Return ~unused~.
-            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
+            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
             1. If _binding_ is an ImportDeclarativeBinding, throw a *TypeError* exception.
             1. Assert: _binding_ is a SimpleDeclarativeBinding.
             1. If _binding_.[[IsStrict]] is *true*, set _S_ to *true*.
@@ -10410,7 +10410,7 @@ <h1>
           </dl>
           <emu-alg>
             1. Assert: _envRec_.HasBinding(_N_) is *true*.
-            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
+            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
             1. Assert: _binding_ is a SimpleDeclarativeBinding.
             1. If _binding_.[[BoundValue]] is ~uninitialized~, throw a *ReferenceError* exception.
             1. Return _binding_.[[BoundValue]].
@@ -10432,7 +10432,7 @@ <h1>
           </dl>
           <emu-alg>
             1. Assert: _envRec_.HasBinding(_N_) is *true*.
-            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
+            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
             1. Assert: _binding_ is a SimpleDeclarativeBinding.
             1. If _binding_.[[IsDeletable]] is *false*, return *false*.
             1. Remove _binding_ from _envRec_.[[Bindings]].
@@ -11455,7 +11455,7 @@ <h1>Module Environment Records</h1>
             </tr>
           </table>
         </emu-table>
-        <p>The [[Bindings]] of a Module Environment Record can include both SimpleDeclarativeBindings and ImportDeclarativeBindings. An <dfn>ImportDeclarativeBinding</dfn> has the following fields:</p>
+        <p>The [[Bindings]] of a Module Environment Record can include both SimpleDeclarativeBindings and ImportDeclarativeBindings. An <dfn variants="ImportDeclarativeBindings">ImportDeclarativeBinding</dfn> has the following fields:</p>
         <emu-table id="table-fields-of-importdeclarativebindings" caption="ImportDeclarativeBinding Fields">
           <table>
             <tr>
@@ -11499,7 +11499,7 @@ <h1>
           <emu-alg>
             1. Assert: _S_ is *true*.
             1. Assert: _envRec_.HasBinding(_N_) is *true*.
-            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
+            1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
             1. If _binding_ is an ImportDeclarativeBinding, then
               1. Let _M_ be _binding_.[[TargetModuleRec]].
               1. Let _N2_ be _binding_.[[TargetName]].
@@ -51875,7 +51875,7 @@ <h1>Changes to BlockDeclarationInstantiation</h1>
         <p>During BlockDeclarationInstantiation the following steps are performed in place of step <emu-xref href="#step-blockdeclarationinstantiation-initializebinding"></emu-xref>:</p>
         <emu-alg replaces-step="step-blockdeclarationinstantiation-initializebinding">
           1. Perform the following steps:
-            1. Let _binding_ be the DeclarativeBinding in _env_.[[Bindings]] whose [[BoundName]] field equals _fn_.
+            1. Let _binding_ be the DeclarativeBinding in _env_.[[Bindings]] whose [[BoundName]] field is _fn_.
             1. Assert: _binding_ is a SimpleDeclarativeBinding.
             1. If _binding_.[[BoundValue]] is ~uninitialized~, then
               1. Perform ! _env_.InitializeBinding(_fn_, _fo_).