diff --git a/spec.html b/spec.html
index f17e5c2d520..f9013941c62 100644
--- a/spec.html
+++ b/spec.html
@@ -5846,7 +5846,7 @@ <h1>Static Semantics: BoundNames</h1>
       </emu-alg>
       <emu-grammar>ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList</emu-grammar>
       <emu-alg>
-        1. Let _formals_ be CoveredFormalsList of |CoverParenthesizedExpressionAndArrowParameterList|.
+        1. Let _formals_ be the |ArrowFormalParameters| that is covered by |CoverParenthesizedExpressionAndArrowParameterList|.
         1. Return the BoundNames of _formals_.
       </emu-alg>
       <emu-grammar>GeneratorDeclaration : `function` `*` BindingIdentifier `(` FormalParameters `)` `{` GeneratorBody `}`</emu-grammar>
@@ -7707,7 +7707,7 @@ <h1>Static Semantics: Contains</h1>
       </emu-alg>
       <emu-grammar>ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList</emu-grammar>
       <emu-alg>
-        1. Let _formals_ be CoveredFormalsList of |CoverParenthesizedExpressionAndArrowParameterList|.
+        1. Let _formals_ be the |ArrowFormalParameters| that is covered by |CoverParenthesizedExpressionAndArrowParameterList|.
         1. Return _formals_ Contains _symbol_.
       </emu-alg>
       <emu-grammar>
@@ -8071,7 +8071,7 @@ <h1>Runtime Semantics: IteratorBindingInitialization</h1>
       </emu-alg>
       <emu-grammar>ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList</emu-grammar>
       <emu-alg>
-        1. Let _formals_ be CoveredFormalsList of |CoverParenthesizedExpressionAndArrowParameterList|.
+        1. Let _formals_ be the |ArrowFormalParameters| that is covered by |CoverParenthesizedExpressionAndArrowParameterList|.
         1. Return IteratorBindingInitialization of _formals_ with arguments _iteratorRecord_ and _environment_.
       </emu-alg>
       <emu-grammar>
@@ -19435,7 +19435,7 @@ <h1>Static Semantics: ContainsExpression</h1>
       </emu-alg>
       <emu-grammar>ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList</emu-grammar>
       <emu-alg>
-        1. Let _formals_ be CoveredFormalsList of |CoverParenthesizedExpressionAndArrowParameterList|.
+        1. Let _formals_ be the |ArrowFormalParameters| that is covered by |CoverParenthesizedExpressionAndArrowParameterList|.
         1. Return ContainsExpression of _formals_.
       </emu-alg>
       <emu-grammar>
@@ -19491,7 +19491,7 @@ <h1>Static Semantics: IsSimpleParameterList</h1>
       </emu-alg>
       <emu-grammar>ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList</emu-grammar>
       <emu-alg>
-        1. Let _formals_ be CoveredFormalsList of |CoverParenthesizedExpressionAndArrowParameterList|.
+        1. Let _formals_ be the |ArrowFormalParameters| that is covered by |CoverParenthesizedExpressionAndArrowParameterList|.
         1. Return IsSimpleParameterList of _formals_.
       </emu-alg>
       <emu-grammar>
@@ -19568,7 +19568,7 @@ <h1>Static Semantics: ExpectedArgumentCount</h1>
       </emu-alg>
       <emu-grammar>ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList</emu-grammar>
       <emu-alg>
-        1. Let _formals_ be CoveredFormalsList of |CoverParenthesizedExpressionAndArrowParameterList|.
+        1. Let _formals_ be the |ArrowFormalParameters| that is covered by |CoverParenthesizedExpressionAndArrowParameterList|.
         1. Return ExpectedArgumentCount of _formals_.
       </emu-alg>
       <emu-grammar>PropertySetParameterList : FormalParameter</emu-grammar>
@@ -19818,7 +19818,7 @@ <h1>Static Semantics: Early Errors</h1>
           It is a Syntax Error if |CoverParenthesizedExpressionAndArrowParameterList| is not covering an |ArrowFormalParameters|.
         </li>
         <li>
-          All early error rules for |ArrowFormalParameters| and its derived productions also apply to CoveredFormalsList of |CoverParenthesizedExpressionAndArrowParameterList|.
+          All early error rules for |ArrowFormalParameters| and its derived productions also apply to the |ArrowFormalParameters| that is covered by |CoverParenthesizedExpressionAndArrowParameterList|.
         </li>
       </ul>
     </emu-clause>
@@ -19835,27 +19835,6 @@ <h1>Static Semantics: ConciseBodyContainsUseStrict</h1>
       </emu-alg>
     </emu-clause>
 
-    <emu-clause id="sec-static-semantics-coveredformalslist" type="sdo" aoid="CoveredFormalsList">
-      <h1>Static Semantics: CoveredFormalsList</h1>
-      <emu-grammar>ArrowParameters : BindingIdentifier</emu-grammar>
-      <emu-alg>
-        1. Return this |ArrowParameters|.
-      </emu-alg>
-      <emu-grammar>
-        CoverParenthesizedExpressionAndArrowParameterList :
-          `(` Expression `)`
-          `(` Expression `,` `)`
-          `(` `)`
-          `(` `...` BindingIdentifier `)`
-          `(` `...` BindingPattern `)`
-          `(` Expression `,` `...` BindingIdentifier `)`
-          `(` Expression `,` `...` BindingPattern `)`
-      </emu-grammar>
-      <emu-alg>
-        1. Return the |ArrowFormalParameters| that is covered by |CoverParenthesizedExpressionAndArrowParameterList|.
-      </emu-alg>
-    </emu-clause>
-
     <emu-clause id="sec-runtime-semantics-evaluateconcisebody" oldids="sec-arrow-function-definitions-runtime-semantics-evaluatebody" type="sdo" aoid="EvaluateConciseBody">
       <h1>Runtime Semantics: EvaluateConciseBody</h1>
       <p>With parameters _functionObject_ and _argumentsList_ (a List).</p>