diff --git a/spec.html b/spec.html
index bfcc6972a4c..036a29bcbfa 100644
--- a/spec.html
+++ b/spec.html
@@ -10811,7 +10811,7 @@ <h1>Global Environment Records</h1>
           <h1>
             HasBinding (
               _N_: a String,
-            )
+            ): a Completion Record normally containing a Boolean
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -10833,7 +10833,7 @@ <h1>
             CreateMutableBinding (
               _N_: a String,
               _D_: a Boolean,
-            )
+            ): a Completion Record normally containing ~unused~
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -10854,7 +10854,7 @@ <h1>
             CreateImmutableBinding (
               _N_: a String,
               _S_: a Boolean,
-            )
+            ): a Completion Record normally containing ~unused~
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -10875,7 +10875,7 @@ <h1>
             InitializeBinding (
               _N_: a String,
               _V_: an ECMAScript language value,
-            )
+            ): a Completion Record normally containing ~unused~
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -10890,7 +10890,8 @@ <h1>
               1. Return _DclRec_.InitializeBinding(_N_, _V_).
             1. Assert: If the binding exists, it must be in the object Environment Record.
             1. Let _ObjRec_ be _envRec_.[[ObjectRecord]].
-            1. Return ? _ObjRec_.InitializeBinding(_N_, _V_).
+            1. Perform ? _ObjRec_.InitializeBinding(_N_, _V_).
+            1. Return ~unused~.
           </emu-alg>
         </emu-clause>
 
@@ -10900,7 +10901,7 @@ <h1>
               _N_: a String,
               _V_: an ECMAScript language value,
               _S_: a Boolean,
-            )
+            ): a Completion Record normally containing ~unused~
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -10914,7 +10915,8 @@ <h1>
             1. If _DclRec_.HasBinding(_N_) is *true*, then
               1. Return _DclRec_.SetMutableBinding(_N_, _V_, _S_).
             1. Let _ObjRec_ be _envRec_.[[ObjectRecord]].
-            1. Return ? _ObjRec_.SetMutableBinding(_N_, _V_, _S_).
+            1. Perform ? _ObjRec_.SetMutableBinding(_N_, _V_, _S_).
+            1. Return ~unused~.
           </emu-alg>
         </emu-clause>
 
@@ -10923,7 +10925,7 @@ <h1>
             GetBindingValue (
               _N_: a String,
               _S_: a Boolean,
-            )
+            ): a Completion Record normally containing an ECMAScript language value
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -10972,7 +10974,7 @@ <h1>
         </emu-clause>
 
         <emu-clause id="sec-global-environment-records-hasthisbinding" type="concrete method">
-          <h1>HasThisBinding ( )</h1>
+          <h1>HasThisBinding ( ): *true*</h1>
           <dl class="header">
             <dt>for</dt>
             <dd>a global Environment Record _envRec_</dd>
@@ -10986,7 +10988,7 @@ <h1>HasThisBinding ( )</h1>
         </emu-clause>
 
         <emu-clause id="sec-global-environment-records-hassuperbinding" type="concrete method">
-          <h1>HasSuperBinding ( )</h1>
+          <h1>HasSuperBinding ( ): *false*</h1>
           <dl class="header">
             <dt>for</dt>
             <dd>a global Environment Record _envRec_</dd>
@@ -11000,7 +11002,7 @@ <h1>HasSuperBinding ( )</h1>
         </emu-clause>
 
         <emu-clause id="sec-global-environment-records-withbaseobject" type="concrete method">
-          <h1>WithBaseObject ( )</h1>
+          <h1>WithBaseObject ( ) *undefined*</h1>
           <dl class="header">
             <dt>for</dt>
             <dd>a global Environment Record _envRec_</dd>
@@ -11011,7 +11013,7 @@ <h1>WithBaseObject ( )</h1>
         </emu-clause>
 
         <emu-clause id="sec-global-environment-records-getthisbinding" type="concrete method">
-          <h1>GetThisBinding ( )</h1>
+          <h1>GetThisBinding ( ): an ECMAScript language value</h1>
           <dl class="header">
             <dt>for</dt>
             <dd>a global Environment Record _envRec_</dd>
@@ -11025,7 +11027,7 @@ <h1>GetThisBinding ( )</h1>
           <h1>
             HasVarDeclaration (
               _N_: a String,
-            )
+            ): a Boolean
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -11045,7 +11047,7 @@ <h1>
           <h1>
             HasLexicalDeclaration (
               _N_: a String,
-            )
+            ): a Boolean
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -11064,7 +11066,7 @@ <h1>
           <h1>
             HasRestrictedGlobalProperty (
               _N_: a String,
-            )
+            ): a Completion Record normally containing a Boolean
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -11090,7 +11092,7 @@ <h1>
           <h1>
             CanDeclareGlobalVar (
               _N_: a String,
-            )
+            ): a Completion Record normally containing a Boolean
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -11112,7 +11114,7 @@ <h1>
           <h1>
             CanDeclareGlobalFunction (
               _N_: a String,
-            )
+            ): a Completion Record normally containing a Boolean
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -11137,7 +11139,7 @@ <h1>
             CreateGlobalVarBinding (
               _N_: a String,
               _D_: a Boolean,
-            )
+            ): a Completion Record normally containing ~unused~
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -11157,7 +11159,7 @@ <h1>
             1. Let _varDeclaredNames_ be _envRec_.[[VarNames]].
             1. If _varDeclaredNames_ does not contain _N_, then
               1. Append _N_ to _varDeclaredNames_.
-            1. Return NormalCompletion(~empty~).
+            1. Return NormalCompletion(~unused~).
           </emu-alg>
         </emu-clause>
 
@@ -11167,7 +11169,7 @@ <h1>
               _N_: a String,
               _V_: an ECMAScript language value,
               _D_: a Boolean,
-            )
+            ) a Completion Record normally containing ~unused~
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -11189,7 +11191,7 @@ <h1>
             1. Let _varDeclaredNames_ be _envRec_.[[VarNames]].
             1. If _varDeclaredNames_ does not contain _N_, then
               1. Append _N_ to _varDeclaredNames_.
-            1. Return NormalCompletion(~empty~).
+            1. Return NormalCompletion(~unused~).
           </emu-alg>
           <emu-note>
             <p>Global function declarations are always represented as own properties of the global object. If possible, an existing own property is reconfigured to have a standard set of attribute values. Step <emu-xref href="#step-createglobalfunctionbinding-set"></emu-xref> is equivalent to what calling the InitializeBinding concrete method would do and if _globalObject_ is a Proxy will produce the same sequence of Proxy trap calls.</p>
@@ -11238,7 +11240,7 @@ <h1>
             GetBindingValue (
               _N_: a String,
               _S_: a Boolean,
-            )
+            ): a Completion Record normally containing an ECMAScript language value
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -11272,7 +11274,7 @@ <h1>DeleteBinding ( _N_ )</h1>
         </emu-clause>
 
         <emu-clause id="sec-module-environment-records-hasthisbinding" type="concrete method">
-          <h1>HasThisBinding ( )</h1>
+          <h1>HasThisBinding ( ): *true*</h1>
           <dl class="header">
             <dt>for</dt>
             <dd>a module Environment Record _envRec_</dd>
@@ -11286,7 +11288,7 @@ <h1>HasThisBinding ( )</h1>
         </emu-clause>
 
         <emu-clause id="sec-module-environment-records-getthisbinding" type="concrete method">
-          <h1>GetThisBinding ( )</h1>
+          <h1>GetThisBinding ( ): *undefined*</h1>
           <dl class="header">
             <dt>for</dt>
             <dd>a module Environment Record _envRec_</dd>
@@ -11302,7 +11304,7 @@ <h1>
               _N_: a String,
               _M_: a Module Record,
               _N2_: a String,
-            )
+            ): ~unused~
           </h1>
           <dl class="header">
             <dt>for</dt>
@@ -11315,7 +11317,7 @@ <h1>
             1. Assert: _envRec_ does not already have a binding for _N_.
             1. Assert: When _M_.[[Environment]] is instantiated it will have a direct binding for _N2_.
             1. Create an immutable indirect binding in _envRec_ for _N_ that references _M_ and _N2_ as its target binding and record that the binding is initialized.
-            1. Return NormalCompletion(~empty~).
+            1. Return ~unused~.
           </emu-alg>
         </emu-clause>
       </emu-clause>
@@ -11331,16 +11333,16 @@ <h1>
             _env_: an Environment Record or *null*,
             _name_: a String,
             _strict_: a Boolean,
-          )
+          ): a Completion Record normally containing a Reference Record
         </h1>
         <dl class="header">
         </dl>
         <emu-alg>
           1. If _env_ is the value *null*, then
-            1. Return the Reference Record { [[Base]]: ~unresolvable~, [[ReferencedName]]: _name_, [[Strict]]: _strict_, [[ThisValue]]: ~empty~ }.
+            1. Return NormalCompletion(the Reference Record { [[Base]]: ~unresolvable~, [[ReferencedName]]: _name_, [[Strict]]: _strict_, [[ThisValue]]: ~empty~ }).
           1. Let _exists_ be ? _env_.HasBinding(_name_).
           1. If _exists_ is *true*, then
-            1. Return the Reference Record { [[Base]]: _env_, [[ReferencedName]]: _name_, [[Strict]]: _strict_, [[ThisValue]]: ~empty~ }.
+            1. Return NormalCompletion(the Reference Record { [[Base]]: _env_, [[ReferencedName]]: _name_, [[Strict]]: _strict_, [[ThisValue]]: ~empty~ }).
           1. Else,
             1. Let _outer_ be _env_.[[OuterEnv]].
             1. Return ? GetIdentifierReference(_outer_, _name_, _strict_).
@@ -14328,8 +14330,8 @@ <h1>
             1. Let _map_ be _args_.[[ParameterMap]].
             1. Let _isMapped_ be ! HasOwnProperty(_map_, _P_).
           1. If _isMapped_ is *true*, then
-            1. Let _setStatus_ be Set(_map_, _P_, _V_, *false*).
-            1. Assert: _setStatus_ is *true* because formal parameters mapped by argument objects are always writable.
+            1. Assert: formal parameters mapped by argument objects are always writable.
+            1. Call Set(_map_, _P_, _V_, *false*).
           1. Return ? OrdinarySet(_args_, _P_, _V_, _Receiver_).
         </emu-alg>
       </emu-clause>
@@ -27682,7 +27684,7 @@ <h1>InitializeEnvironment ( )</h1>
                   1. Perform ! _env_.CreateImmutableBinding(_in_.[[LocalName]], *true*).
                   1. Call _env_.InitializeBinding(_in_.[[LocalName]], _namespace_).
                 1. Else,
-                  1. Call _env_.CreateImportBinding(_in_.[[LocalName]], _resolution_.[[Module]], _resolution_.[[BindingName]]).
+                  1. Perform _env_.CreateImportBinding(_in_.[[LocalName]], _resolution_.[[Module]], _resolution_.[[BindingName]]).
             1. Let _moduleContext_ be a new ECMAScript code execution context.
             1. Set the Function of _moduleContext_ to *null*.
             1. Assert: _module_.[[Realm]] is not *undefined*.