diff --git a/spec.html b/spec.html
index 6d7bf36cc48..8c859570403 100644
--- a/spec.html
+++ b/spec.html
@@ -19069,7 +19069,7 @@ <h1>Runtime Semantics: Evaluation</h1>
           1. Let _expr_ be the |CallMemberExpression| that is covered by |CoverCallExpressionAndAsyncArrowHead|.
           1. Let _memberExpr_ be the |MemberExpression| of _expr_.
           1. Let _arguments_ be the |Arguments| of _expr_.
-          1. Let _ref_ be Completion(Evaluation of _memberExpr_).
+          1. Let _ref_ be ? Evaluation of _memberExpr_.
           1. Let _func_ be ? GetValue(_ref_).
           1. If _ref_ is a Reference Record, IsPropertyReference(_ref_) is *false*, and _ref_.[[ReferencedName]] is *"eval"*, then
             1. If SameValue(_func_, %eval%) is *true*, then
@@ -19086,7 +19086,7 @@ <h1>Runtime Semantics: Evaluation</h1>
         <p>A |CallExpression| evaluation that executes step <emu-xref href="#step-callexpression-evaluation-direct-eval"></emu-xref> is a <dfn variants="direct evals">direct eval</dfn>.</p>
         <emu-grammar>CallExpression : CallExpression Arguments</emu-grammar>
         <emu-alg>
-          1. Let _ref_ be Completion(Evaluation of |CallExpression|).
+          1. Let _ref_ be ? Evaluation of |CallExpression|.
           1. Let _func_ be ? GetValue(_ref_).
           1. Let _thisCall_ be this |CallExpression|.
           1. Let _tailCall_ be IsInTailPosition(_thisCall_).
@@ -19282,7 +19282,7 @@ <h1>Runtime Semantics: Evaluation</h1>
             MemberExpression OptionalChain
         </emu-grammar>
         <emu-alg>
-          1. Let _baseReference_ be Completion(Evaluation of |MemberExpression|).
+          1. Let _baseReference_ be ? Evaluation of |MemberExpression|.
           1. Let _baseValue_ be ? GetValue(_baseReference_).
           1. If _baseValue_ is *undefined* or *null*, then
             1. Return *undefined*.
@@ -19293,7 +19293,7 @@ <h1>Runtime Semantics: Evaluation</h1>
             CallExpression OptionalChain
         </emu-grammar>
         <emu-alg>
-          1. Let _baseReference_ be Completion(Evaluation of |CallExpression|).
+          1. Let _baseReference_ be ? Evaluation of |CallExpression|.
           1. Let _baseValue_ be ? GetValue(_baseReference_).
           1. If _baseValue_ is *undefined* or *null*, then
             1. Return *undefined*.
@@ -19304,7 +19304,7 @@ <h1>Runtime Semantics: Evaluation</h1>
             OptionalExpression OptionalChain
         </emu-grammar>
         <emu-alg>
-          1. Let _baseReference_ be Completion(Evaluation of |OptionalExpression|).
+          1. Let _baseReference_ be ? Evaluation of |OptionalExpression|.
           1. Let _baseValue_ be ? GetValue(_baseReference_).
           1. If _baseValue_ is *undefined* or *null*, then
             1. Return *undefined*.
@@ -19408,7 +19408,7 @@ <h1>Tagged Templates</h1>
         <h1>Runtime Semantics: Evaluation</h1>
         <emu-grammar>MemberExpression : MemberExpression TemplateLiteral</emu-grammar>
         <emu-alg>
-          1. Let _tagRef_ be Completion(Evaluation of |MemberExpression|).
+          1. Let _tagRef_ be ? Evaluation of |MemberExpression|.
           1. Let _tagFunc_ be ? GetValue(_tagRef_).
           1. Let _thisCall_ be this |MemberExpression|.
           1. Let _tailCall_ be IsInTailPosition(_thisCall_).
@@ -19416,7 +19416,7 @@ <h1>Runtime Semantics: Evaluation</h1>
         </emu-alg>
         <emu-grammar>CallExpression : CallExpression TemplateLiteral</emu-grammar>
         <emu-alg>
-          1. Let _tagRef_ be Completion(Evaluation of |CallExpression|).
+          1. Let _tagRef_ be ? Evaluation of |CallExpression|.
           1. Let _tagFunc_ be ? GetValue(_tagRef_).
           1. Let _thisCall_ be this |CallExpression|.
           1. Let _tailCall_ be IsInTailPosition(_thisCall_).
@@ -19543,7 +19543,7 @@ <h1>Postfix Increment Operator</h1>
         <h1>Runtime Semantics: Evaluation</h1>
         <emu-grammar>UpdateExpression : LeftHandSideExpression `++`</emu-grammar>
         <emu-alg>
-          1. Let _lhs_ be Completion(Evaluation of |LeftHandSideExpression|).
+          1. Let _lhs_ be ? Evaluation of |LeftHandSideExpression|.
           1. Let _oldValue_ be ? ToNumeric(? GetValue(_lhs_)).
           1. If Type(_oldValue_) is Number, then
             1. Let _newValue_ be Number::add(_oldValue_, *1*<sub>𝔽</sub>).
@@ -19563,7 +19563,7 @@ <h1>Postfix Decrement Operator</h1>
         <h1>Runtime Semantics: Evaluation</h1>
         <emu-grammar>UpdateExpression : LeftHandSideExpression `--`</emu-grammar>
         <emu-alg>
-          1. Let _lhs_ be Completion(Evaluation of |LeftHandSideExpression|).
+          1. Let _lhs_ be ? Evaluation of |LeftHandSideExpression|.
           1. Let _oldValue_ be ? ToNumeric(? GetValue(_lhs_)).
           1. If Type(_oldValue_) is Number, then
             1. Let _newValue_ be Number::subtract(_oldValue_, *1*<sub>𝔽</sub>).
@@ -19583,7 +19583,7 @@ <h1>Prefix Increment Operator</h1>
         <h1>Runtime Semantics: Evaluation</h1>
         <emu-grammar>UpdateExpression : `++` UnaryExpression</emu-grammar>
         <emu-alg>
-          1. Let _expr_ be Completion(Evaluation of |UnaryExpression|).
+          1. Let _expr_ be ? Evaluation of |UnaryExpression|.
           1. Let _oldValue_ be ? ToNumeric(? GetValue(_expr_)).
           1. If Type(_oldValue_) is Number, then
             1. Let _newValue_ be Number::add(_oldValue_, *1*<sub>𝔽</sub>).
@@ -19603,7 +19603,7 @@ <h1>Prefix Decrement Operator</h1>
         <h1>Runtime Semantics: Evaluation</h1>
         <emu-grammar>UpdateExpression : `--` UnaryExpression</emu-grammar>
         <emu-alg>
-          1. Let _expr_ be Completion(Evaluation of |UnaryExpression|).
+          1. Let _expr_ be ? Evaluation of |UnaryExpression|.
           1. Let _oldValue_ be ? ToNumeric(? GetValue(_expr_)).
           1. If Type(_oldValue_) is Number, then
             1. Let _newValue_ be Number::subtract(_oldValue_, *1*<sub>𝔽</sub>).
@@ -20426,7 +20426,7 @@ <h1>Runtime Semantics: Evaluation</h1>
       </emu-alg>
       <emu-grammar>AssignmentExpression : LeftHandSideExpression AssignmentOperator AssignmentExpression</emu-grammar>
       <emu-alg>
-        1. Let _lref_ be Completion(Evaluation of |LeftHandSideExpression|).
+        1. Let _lref_ be ? Evaluation of |LeftHandSideExpression|.
         1. [id="step-assignmentexpression-evaluation-compound-getvalue"] Let _lval_ be ? GetValue(_lref_).
         1. Let _rref_ be Completion(Evaluation of |AssignmentExpression|).
         1. Let _rval_ be ? GetValue(_rref_).
@@ -20456,7 +20456,7 @@ <h1>Runtime Semantics: Evaluation</h1>
       </emu-alg>
       <emu-grammar>AssignmentExpression : LeftHandSideExpression `&amp;&amp;=` AssignmentExpression</emu-grammar>
       <emu-alg>
-        1. Let _lref_ be Completion(Evaluation of |LeftHandSideExpression|).
+        1. Let _lref_ be ? Evaluation of |LeftHandSideExpression|.
         1. [id="step-assignmentexpression-evaluation-lgcl-and-getvalue"] Let _lval_ be ? GetValue(_lref_).
         1. Let _lbool_ be ToBoolean(_lval_).
         1. If _lbool_ is *false*, return _lval_.
@@ -20470,7 +20470,7 @@ <h1>Runtime Semantics: Evaluation</h1>
       </emu-alg>
       <emu-grammar>AssignmentExpression : LeftHandSideExpression `||=` AssignmentExpression</emu-grammar>
       <emu-alg>
-        1. Let _lref_ be Completion(Evaluation of |LeftHandSideExpression|).
+        1. Let _lref_ be ? Evaluation of |LeftHandSideExpression|.
         1. [id="step-assignmentexpression-evaluation-lgcl-or-getvalue"] Let _lval_ be ? GetValue(_lref_).
         1. Let _lbool_ be ToBoolean(_lval_).
         1. If _lbool_ is *true*, return _lval_.
@@ -20484,7 +20484,7 @@ <h1>Runtime Semantics: Evaluation</h1>
       </emu-alg>
       <emu-grammar>AssignmentExpression : LeftHandSideExpression `??=` AssignmentExpression</emu-grammar>
       <emu-alg>
-        1. Let _lref_ be Completion(Evaluation of |LeftHandSideExpression|).
+        1. Let _lref_ be ? Evaluation of |LeftHandSideExpression|.
         1. [id="step-assignmentexpression-evaluation-lgcl-nullish-getvalue"] Let _lval_ be ? GetValue(_lref_).
         1. If _lval_ is neither *undefined* nor *null*, return _lval_.
         1. If IsAnonymousFunctionDefinition(|AssignmentExpression|) is *true* and IsIdentifierRef of |LeftHandSideExpression| is *true*, then