diff --git a/spec.html b/spec.html
index 58e9ee0586..a21b00ab49 100644
--- a/spec.html
+++ b/spec.html
@@ -2916,7 +2916,7 @@ <h1>Object Internal Methods and Internal Slots</h1>
                 [[OwnPropertyKeys]]
               </td>
               <td>
-                ( ) <b>&rarr;</b> List of propertyKey
+                ( ) <b>&rarr;</b> List of property keys
               </td>
               <td>
                 Return a List whose elements are all of the own property keys for the object.
@@ -5798,7 +5798,7 @@ <h1>Testing and Comparison Operations</h1>
       <h1>
         RequireObjectCoercible (
           _argument_: unknown,
-        )
+        ): a Completion Record
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -5888,7 +5888,7 @@ <h1>
       <h1>
         IsArray (
           _argument_: unknown,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
       </dl>
@@ -5907,7 +5907,7 @@ <h1>
       <h1>
         IsCallable (
           _argument_: an ECMAScript language value,
-        )
+        ): a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -5924,7 +5924,7 @@ <h1>
       <h1>
         IsConstructor (
           _argument_: an ECMAScript language value,
-        )
+        ): a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -5941,11 +5941,11 @@ <h1>
       <h1>
         IsExtensible (
           _O_: an Object,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
-        <dd>It returns a completion record which, if its [[Type]] is ~normal~, has a [[Value]] which is a Boolean. It is used to determine whether additional properties can be added to _O_.</dd>
+        <dd>It is used to determine whether additional properties can be added to _O_.</dd>
       </dl>
       <emu-alg>
         1. Return ? _O_.[[IsExtensible]]().
@@ -5956,7 +5956,7 @@ <h1>
       <h1>
         IsIntegralNumber (
           _argument_: unknown,
-        )
+        ): a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -5974,7 +5974,7 @@ <h1>
       <h1>
         IsPropertyKey (
           _argument_: an ECMAScript language value,
-        )
+        ): a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -5991,7 +5991,7 @@ <h1>
       <h1>
         IsRegExp (
           _argument_: unknown,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
       </dl>
@@ -6009,7 +6009,7 @@ <h1>
         IsStringPrefix (
           _p_: a String,
           _q_: a String,
-        )
+        ): a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6029,11 +6029,11 @@ <h1>
         SameValue (
           _x_: an ECMAScript language value,
           _y_: an ECMAScript language value,
-        )
+        ): a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
-        <dd>It returns a completion record whose [[Type]] is ~normal~ and whose [[Value]] is a Boolean indicating whether or not the two arguments are the same value.</dd>
+        <dd>It determines whether or not the two arguments are the same value.</dd>
       </dl>
       <emu-alg>
         1. If Type(_x_) is different from Type(_y_), return *false*.
@@ -6053,11 +6053,11 @@ <h1>
         SameValueZero (
           _x_: an ECMAScript language value,
           _y_: an ECMAScript language value,
-        )
+        ): a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
-        <dd>It returns a completion record whose [[Type]] is ~normal~ and whose [[Value]] is a Boolean indicating whether or not the two arguments are the same value (ignoring the difference between *+0*<sub>𝔽</sub> and *-0*<sub>𝔽</sub>).</dd>
+        <dd>It determines whether or not the two arguments are the same value (ignoring the difference between *+0*<sub>𝔽</sub> and *-0*<sub>𝔽</sub>).</dd>
       </dl>
       <emu-alg>
         1. If Type(_x_) is different from Type(_y_), return *false*.
@@ -6077,11 +6077,9 @@ <h1>
         SameValueNonNumeric (
           _x_: an ECMAScript language value, but not a Number or a BigInt,
           _y_: an ECMAScript language value, but not a Number or a BigInt,
-        )
+        ): a Boolean
       </h1>
       <dl class="header">
-        <dt>description</dt>
-        <dd>It returns a completion record whose [[Type]] is ~normal~ and whose [[Value]] is a Boolean.</dd>
       </dl>
       <emu-alg>
         1. Assert: Type(_x_) is the same as Type(_y_).
@@ -6103,7 +6101,7 @@ <h1>
           _x_: an ECMAScript language value,
           _y_: an ECMAScript language value,
           _LeftFirst_: a Boolean,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6161,11 +6159,11 @@ <h1>
         IsLooselyEqual (
           _x_: an ECMAScript language value,
           _y_: an ECMAScript language value,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
-        <dd>It provides the semantics for the comparison _x_ == _y_, returning *true* or *false*.</dd>
+        <dd>It provides the semantics for the comparison _x_ == _y_.</dd>
       </dl>
       <emu-alg>
         1. If Type(_x_) is the same as Type(_y_), then
@@ -6196,11 +6194,11 @@ <h1>
         IsStrictlyEqual (
           _x_: an ECMAScript language value,
           _y_: an ECMAScript language value,
-        )
+        ): a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
-        <dd>It provides the semantics for the comparison _x_ === _y_, returning *true* or *false*.</dd>
+        <dd>It provides the semantics for the comparison _x_ === _y_.</dd>
       </dl>
       <emu-alg>
         1. If Type(_x_) is different from Type(_y_), return *false*.
@@ -6223,7 +6221,7 @@ <h1>Operations on Objects</h1>
       <h1>
         MakeBasicObject (
           _internalSlotsList_: a List of internal slot names,
-        )
+        ): an Object
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6249,7 +6247,7 @@ <h1>
         Get (
           _O_: an Object,
           _P_: a property key,
-        )
+        ): a Completion Record
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6265,7 +6263,7 @@ <h1>
         GetV (
           _V_: an ECMAScript language value,
           _P_: a property key,
-        )
+        ): a Completion Record
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6284,7 +6282,7 @@ <h1>
           _P_: a property key,
           _V_: an ECMAScript language value,
           _Throw_: a Boolean,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6303,7 +6301,7 @@ <h1>
           _O_: an Object,
           _P_: a property key,
           _V_: an ECMAScript language value,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6324,7 +6322,7 @@ <h1>
           _O_: an Object,
           _P_: a property key,
           _V_: an ECMAScript language value,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6345,7 +6343,7 @@ <h1>
           _O_: an Object,
           _P_: a property key,
           _V_: an ECMAScript language value,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6367,7 +6365,7 @@ <h1>
           _O_: an Object,
           _P_: a property key,
           _desc_: a Property Descriptor,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6385,7 +6383,7 @@ <h1>
         DeletePropertyOrThrow (
           _O_: an Object,
           _P_: a property key,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6403,7 +6401,7 @@ <h1>
         GetMethod (
           _V_: an ECMAScript language value,
           _P_: a property key,
-        )
+        ): a Completion Record normally containing a callable object or *undefined*
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6422,7 +6420,7 @@ <h1>
         HasProperty (
           _O_: an Object,
           _P_: a property key,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6438,7 +6436,7 @@ <h1>
         HasOwnProperty (
           _O_: an Object,
           _P_: a property key,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6457,7 +6455,7 @@ <h1>
           _F_: an ECMAScript language value,
           _V_: an ECMAScript language value,
           optional _argumentsList_: a List of ECMAScript language values,
-        )
+        ): a Completion Record
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6476,7 +6474,7 @@ <h1>
           _F_: a constructor,
           optional _argumentsList_: unknown,
           optional _newTarget_: a constructor,
-        )
+        ): a Completion Record
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6497,7 +6495,7 @@ <h1>
         SetIntegrityLevel (
           _O_: an Object,
           _level_: ~sealed~ or ~frozen~,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6529,7 +6527,7 @@ <h1>
         TestIntegrityLevel (
           _O_: an Object,
           _level_: ~sealed~ or ~frozen~,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6554,7 +6552,7 @@ <h1>
       <h1>
         CreateArrayFromList (
           _elements_: a List of ECMAScript language values,
-        )
+        ): an Array
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6574,7 +6572,7 @@ <h1>
       <h1>
         LengthOfArrayLike (
           _obj_: an Object,
-        )
+        ): a Completion Record normally containing an integer
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6597,7 +6595,7 @@ <h1>
         CreateListFromArrayLike (
           _obj_: unknown,
           optional _elementTypes_: a List of names of ECMAScript Language Types,
-        )
+        ): a Completion Record normally containing a List
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6625,7 +6623,7 @@ <h1>
           _V_: an ECMAScript language value,
           _P_: a property key,
           optional _argumentsList_: a List of ECMAScript language values,
-        )
+        ): a Completion Record
       </h1>
       <dl class="header">
         <dt>description</dt>
@@ -6644,7 +6642,7 @@ <h1>
         OrdinaryHasInstance (
           _C_: an ECMAScript language value,
           _O_: unknown,
-        )
+        ): a Completion Record normally containing a Boolean
       </h1>
       <dl class="header">
         <dt>description</dt>