From 3035d6eb39ef92c0a63943af8893c0ecb155709c Mon Sep 17 00:00:00 2001
From: Shu-yu Guo <syg@chromium.org>
Date: Mon, 6 Jul 2020 17:17:26 -0700
Subject: [PATCH] Address bakkot review

---
 spec.html | 62 +++++++++++++++++++++++++++----------------------------
 1 file changed, 31 insertions(+), 31 deletions(-)

diff --git a/spec.html b/spec.html
index a9b3f053424..125088f22e2 100644
--- a/spec.html
+++ b/spec.html
@@ -137,7 +137,7 @@ <h1>Conformance</h1>
   <p>A conforming implementation of ECMAScript may provide additional types, values, objects, properties, and functions beyond those described in this specification. In particular, a conforming implementation of ECMAScript may provide properties not described in this specification, and values for those properties, for objects that are described in this specification.</p>
   <p>A conforming implementation of ECMAScript may support program and regular expression syntax not described in this specification. In particular, a conforming implementation of ECMAScript may support program syntax that makes use of any &ldquo;future reserved words&rdquo; noted in subclause <emu-xref href="#sec-keywords-and-reserved-words"></emu-xref> of this specification.</p>
   <p>A conforming implementation of ECMAScript must not implement any extension that is listed as a Forbidden Extension in subclause <emu-xref href="#sec-forbidden-extensions"></emu-xref>.</p>
-  <p>A conforming implementation of ECMAScript must not further define or redefine any facilities that are not implementation-defined, implementation-approximated, or host-defined.</p>
+  <p>A conforming implementation of ECMAScript must not redefine any facilities that are not implementation-defined, implementation-approximated, or host-defined.</p>
 </emu-clause>
 
 <emu-clause id="sec-normative-references">
@@ -180,7 +180,7 @@ <h1>Hosts and Implementations</h1>
     <p>An <dfn id="sec-implementation-approximated">implementation-approximated</dfn> facility is one that defers its definition to an external source while recommending an ideal behaviour. While conforming implementations are free to choose any behaviour within the constraints put forth by this specification, they are encouraged to strive to approximate the ideal. Mathematical operations, such as <emu-xref="#sec-math.exp" title></emu-xref>, are implementation-approximated.</p>
     <p>A <dfn id="sec-host">host</dfn> is an external source that further defines facilities listed in Annex <emu-xref href="#sec-host-layering-points"></emu-xref> but does not further define other implementation-defined or implementation-approximated facilities. In informal use, a host refers to the set of all implementations, such as the set of all web browsers, that interface with this specification in the same way via Annex <emu-xref href="#sec-host-layering-points"></emu-xref>. A host is often an external specification, such as WHATWG HTML. In other words, facilities that are host-defined are often further defined in external specifications.</p>
     <p>A <dfn id="sec-host-hook">host hook</dfn> is an abstract operation that is defined in whole or in part by an external source. All host hooks must be listed in Annex <emu-xref href="#sec-host-layering-points"></emu-xref>.</p>
-    <p>A <dfn id="sec-host-defined">host-defined</dfn> facility is one that defers its definition to an external source without further qualification and is listed in Annex <emu-xref href="#sec-host-layering-points"></emu-xref>.</p>
+    <p>A <dfn id="sec-host-defined">host-defined</dfn> facility is one that defers its definition to an external source without further qualification and is listed in Annex <emu-xref href="#sec-host-layering-points"></emu-xref>. Implementations that are not hosts may also provide definitions for host-defined facilities.</p>
     <p>This specification follows the editorial convention of always using the most specific term. For example, if a facility is host-defined, it should not be referred to as implementation-defined.</p>
     <p>Both hosts and implementations may interface with this specification via the language types, specification types, abstract operations, grammar productions, intrinsic objects, and intrinsic symbols defined herein.</p>
   </emu-clause>
@@ -436,7 +436,7 @@ <h1>function</h1>
       <h1>built-in function</h1>
       <p>built-in object that is a function</p>
       <emu-note>
-        <p>Examples of built-in functions include `parseInt` and `Math.exp`. A host may provide host-defined built-in functions that are not described in this specification.</p>
+        <p>Examples of built-in functions include `parseInt` and `Math.exp`. A host or implementation may provide additional built-in functions that are not described in this specification.</p>
       </emu-note>
     </emu-clause>
 
@@ -460,7 +460,7 @@ <h1>method</h1>
       <h1>built-in method</h1>
       <p>method that is a built-in function</p>
       <emu-note>
-        <p>Standard built-in methods are defined in this specification. A host may provide host-defined built-in functions that are not described in this specification.</p>
+        <p>Standard built-in methods are defined in this specification. A host or implementation may provide additional built-in methods that are not described in this specification.</p>
       </emu-note>
     </emu-clause>
 
@@ -1537,7 +1537,7 @@ <h1>Number::bitwiseNOT ( _x_ )</h1>
 
         <emu-clause id="sec-numeric-types-number-exponentiate" oldids="sec-applying-the-exp-operator">
           <h1>Number::exponentiate ( _base_, _exponent_ )</h1>
-          <p>The abstract operation Number::exponentiate takes arguments _base_ (a Number) and _exponent_ (a Number). It returns an implementation-approximated result to raising _base_ to the power _exponent_, subject to the following requirements:</p>
+          <p>The abstract operation Number::exponentiate takes arguments _base_ (a Number) and _exponent_ (a Number). It returns an implementation-approximated value representing the result of raising _base_ to the power _exponent_, subject to the following requirements:</p>
           <ul>
             <li>If _exponent_ is *NaN*, the result is *NaN*.</li>
             <li>If _exponent_ is *+0*, the result is 1, even if _base_ is *NaN*.</li>
@@ -24785,10 +24785,10 @@ <h1>Error Handling and Language Extensions</h1>
   <p>An implementation shall report all errors as specified, except for the following:</p>
   <ul>
     <li>
-      Except as restricted in <emu-xref href="#sec-forbidden-extensions"></emu-xref>, an implementation may extend |Script| syntax, |Module| syntax, and regular expression pattern or flag syntax. To permit this, all operations (such as calling `eval`, using a regular expression literal, or using the Function or RegExp constructor) that are allowed to throw *SyntaxError* are permitted to exhibit host-defined behaviour instead of throwing *SyntaxError* when they encounter a host-defined extension to the script syntax or regular expression pattern or flag syntax.
+      Except as restricted in <emu-xref href="#sec-forbidden-extensions"></emu-xref>, a host or implementation may extend |Script| syntax, |Module| syntax, and regular expression pattern or flag syntax. To permit this, all operations (such as calling `eval`, using a regular expression literal, or using the Function or RegExp constructor) that are allowed to throw *SyntaxError* are permitted to exhibit host-defined behaviour instead of throwing *SyntaxError* when they encounter a host-defined extension to the script syntax or regular expression pattern or flag syntax.
     </li>
     <li>
-      Except as restricted in <emu-xref href="#sec-forbidden-extensions"></emu-xref>, an implementation may provide additional types, values, objects, properties, and functions beyond those described in this specification. This may cause constructs (such as looking up a variable in the global scope) to have host-defined behaviour instead of throwing an error (such as *ReferenceError*).
+      Except as restricted in <emu-xref href="#sec-forbidden-extensions"></emu-xref>, a host or implementation may provide additional types, values, objects, properties, and functions beyond those described in this specification. This may cause constructs (such as looking up a variable in the global scope) to have host-defined behaviour instead of throwing an error (such as *ReferenceError*).
     </li>
   </ul>
 
@@ -25130,7 +25130,7 @@ <h1>parseInt ( _string_, _radix_ )</h1>
             1. Set _R_ to 16.
         1. If _S_ contains a code unit that is not a radix-_R_ digit, let _Z_ be the substring of _S_ consisting of all code units before the first such code unit; otherwise, let _Z_ be _S_.
         1. If _Z_ is empty, return *NaN*.
-        1. Let _mathInt_ be the mathematical integer value that is represented by _Z_ in radix-_R_ notation, using the letters <b>A</b>-<b>Z</b> and <b>a</b>-<b>z</b> for digits with values 10 through 35. (However, if _R_ is 10 and _Z_ contains more than 20 significant digits, every significant digit after the 20th may be replaced by a 0 digit, at the option of the implementation; and if _R_ is not 2, 4, 8, 10, 16, or 32, then _mathInt_ may be implementation-approximated to the mathematical integer value that is represented by _Z_ in radix-_R_ notation.)
+        1. Let _mathInt_ be the mathematical integer value that is represented by _Z_ in radix-_R_ notation, using the letters <b>A</b>-<b>Z</b> and <b>a</b>-<b>z</b> for digits with values 10 through 35. (However, if _R_ is 10 and _Z_ contains more than 20 significant digits, every significant digit after the 20th may be replaced by a 0 digit, at the option of the implementation; and if _R_ is not 2, 4, 8, 10, 16, or 32, then _mathInt_ may be an implementation-approximation of the mathematical integer value that is represented by _Z_ in radix-_R_ notation.)
         1. If _mathInt_ = 0<sub>ℝ</sub>, then
           1. If _sign_ = -1, return *-0*.
           1. Return *+0*.
@@ -27628,7 +27628,7 @@ <h1>Math.abs ( _x_ )</h1>
 
       <emu-clause id="sec-math.acos">
         <h1>Math.acos ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the arc cosine of _x_. The result is expressed in radians and ranges from *+0* to +&pi;.</p>
+        <p>Returns an implementation-approximated value representing the result of the arc cosine of _x_. The result is expressed in radians and ranges from *+0* to +&pi;.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27647,7 +27647,7 @@ <h1>Math.acos ( _x_ )</h1>
 
       <emu-clause id="sec-math.acosh">
         <h1>Math.acosh ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the inverse hyperbolic cosine of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the inverse hyperbolic cosine of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27666,7 +27666,7 @@ <h1>Math.acosh ( _x_ )</h1>
 
       <emu-clause id="sec-math.asin">
         <h1>Math.asin ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the arc sine of _x_. The result is expressed in radians and ranges from -&pi; / 2 to +&pi; / 2.</p>
+        <p>Returns an implementation-approximated value representing the result of the arc sine of _x_. The result is expressed in radians and ranges from -&pi; / 2 to +&pi; / 2.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27688,7 +27688,7 @@ <h1>Math.asin ( _x_ )</h1>
 
       <emu-clause id="sec-math.asinh">
         <h1>Math.asinh ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the inverse hyperbolic sine of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the inverse hyperbolic sine of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27710,7 +27710,7 @@ <h1>Math.asinh ( _x_ )</h1>
 
       <emu-clause id="sec-math.atan">
         <h1>Math.atan ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the arc tangent of _x_. The result is expressed in radians and ranges from -&pi; / 2 to +&pi; / 2.</p>
+        <p>Returns an implementation-approximated value representing the result of the arc tangent of _x_. The result is expressed in radians and ranges from -&pi; / 2 to +&pi; / 2.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27732,7 +27732,7 @@ <h1>Math.atan ( _x_ )</h1>
 
       <emu-clause id="sec-math.atanh">
         <h1>Math.atanh ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the inverse hyperbolic tangent of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the inverse hyperbolic tangent of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27760,7 +27760,7 @@ <h1>Math.atanh ( _x_ )</h1>
 
       <emu-clause id="sec-math.atan2">
         <h1>Math.atan2 ( _y_, _x_ )</h1>
-        <p>Returns an implementation-approximated result to the arc tangent of the quotient <emu-eqn>_y_ / _x_</emu-eqn> of the arguments _y_ and _x_, where the signs of _y_ and _x_ are used to determine the quadrant of the result. Note that it is intentional and traditional for the two-argument arc tangent function that the argument named _y_ be first and the argument named _x_ be second. The result is expressed in radians and ranges from -&pi; to +&pi;.</p>
+        <p>Returns an implementation-approximated value representing the result of the arc tangent of the quotient <emu-eqn>_y_ / _x_</emu-eqn> of the arguments _y_ and _x_, where the signs of _y_ and _x_ are used to determine the quadrant of the result. Note that it is intentional and traditional for the two-argument arc tangent function that the argument named _y_ be first and the argument named _x_ be second. The result is expressed in radians and ranges from -&pi; to +&pi;.</p>
         <ul>
           <li>
             If either _x_ or _y_ is *NaN*, the result is *NaN*.
@@ -27836,7 +27836,7 @@ <h1>Math.atan2 ( _y_, _x_ )</h1>
 
       <emu-clause id="sec-math.cbrt">
         <h1>Math.cbrt ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the cube root of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the cube root of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27897,7 +27897,7 @@ <h1>Math.clz32 ( _x_ )</h1>
 
       <emu-clause id="sec-math.cos">
         <h1>Math.cos ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the cosine of _x_. The argument is expressed in radians.</p>
+        <p>Returns an implementation-approximated value representing the result of the cosine of _x_. The argument is expressed in radians.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27919,7 +27919,7 @@ <h1>Math.cos ( _x_ )</h1>
 
       <emu-clause id="sec-math.cosh">
         <h1>Math.cosh ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the hyperbolic cosine of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the hyperbolic cosine of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27944,7 +27944,7 @@ <h1>Math.cosh ( _x_ )</h1>
 
       <emu-clause id="sec-math.exp">
         <h1>Math.exp ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the exponential function of _x_ (_e_ raised to the power of _x_, where _e_ is the base of the natural logarithms).</p>
+        <p>Returns an implementation-approximated value representing the result of the exponential function of _x_ (_e_ raised to the power of _x_, where _e_ is the base of the natural logarithms).</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -27966,7 +27966,7 @@ <h1>Math.exp ( _x_ )</h1>
 
       <emu-clause id="sec-math.expm1">
         <h1>Math.expm1 ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to subtracting 1 from the exponential function of _x_ (_e_ raised to the power of _x_, where _e_ is the base of the natural logarithms). The result is computed in a way that is accurate even when the value of x is close 0.</p>
+        <p>Returns an implementation-approximated value representing the result of subtracting 1 from the exponential function of _x_ (_e_ raised to the power of _x_, where _e_ is the base of the natural logarithms). The result is computed in a way that is accurate even when the value of x is close 0.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -28028,7 +28028,7 @@ <h1>Math.fround ( _x_ )</h1>
 
       <emu-clause id="sec-math.hypot">
         <h1>Math.hypot ( _value1_, _value2_, ..._values_ )</h1>
-        <p>`Math.hypot` returns an implementation-approximated result to the square root of the sum of squares of its arguments.</p>
+        <p>`Math.hypot` returns an implementation-approximated value representing the result of the square root of the sum of squares of its arguments.</p>
         <ul>
           <li>
             If no arguments are passed, the result is *+0*.
@@ -28064,7 +28064,7 @@ <h1>Math.imul ( _x_, _y_ )</h1>
 
       <emu-clause id="sec-math.log">
         <h1>Math.log ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the natural logarithm of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the natural logarithm of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -28086,7 +28086,7 @@ <h1>Math.log ( _x_ )</h1>
 
       <emu-clause id="sec-math.log1p">
         <h1>Math.log1p ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the natural logarithm of 1 + _x_. The result is computed in a way that is accurate even when the value of x is close to zero.</p>
+        <p>Returns an implementation-approximated value representing the result of the natural logarithm of 1 + _x_. The result is computed in a way that is accurate even when the value of x is close to zero.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -28111,7 +28111,7 @@ <h1>Math.log1p ( _x_ )</h1>
 
       <emu-clause id="sec-math.log10">
         <h1>Math.log10 ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the base 10 logarithm of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the base 10 logarithm of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -28136,7 +28136,7 @@ <h1>Math.log10 ( _x_ )</h1>
 
       <emu-clause id="sec-math.log2">
         <h1>Math.log2 ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the base 2 logarithm of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the base 2 logarithm of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -28264,7 +28264,7 @@ <h1>Math.sign ( _x_ )</h1>
 
       <emu-clause id="sec-math.sin">
         <h1>Math.sin ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the sine of _x_. The argument is expressed in radians.</p>
+        <p>Returns an implementation-approximated value representing the result of the sine of _x_. The argument is expressed in radians.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -28283,7 +28283,7 @@ <h1>Math.sin ( _x_ )</h1>
 
       <emu-clause id="sec-math.sinh">
         <h1>Math.sinh ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the hyperbolic sine of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the hyperbolic sine of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -28308,7 +28308,7 @@ <h1>Math.sinh ( _x_ )</h1>
 
       <emu-clause id="sec-math.sqrt">
         <h1>Math.sqrt ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the square root of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the square root of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -28330,7 +28330,7 @@ <h1>Math.sqrt ( _x_ )</h1>
 
       <emu-clause id="sec-math.tan">
         <h1>Math.tan ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the tangent of _x_. The argument is expressed in radians.</p>
+        <p>Returns an implementation-approximated value representing the result of the tangent of _x_. The argument is expressed in radians.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -28349,7 +28349,7 @@ <h1>Math.tan ( _x_ )</h1>
 
       <emu-clause id="sec-math.tanh">
         <h1>Math.tanh ( _x_ )</h1>
-        <p>Returns an implementation-approximated result to the hyperbolic tangent of _x_.</p>
+        <p>Returns an implementation-approximated value representing the result of the hyperbolic tangent of _x_.</p>
         <ul>
           <li>
             If _x_ is *NaN*, the result is *NaN*.
@@ -36879,7 +36879,7 @@ <h1>DetachArrayBuffer ( _arrayBuffer_ [ , _key_ ] )</h1>
           1. Return NormalCompletion(*null*).
         </emu-alg>
         <emu-note>
-          <p>Detaching an ArrayBuffer instance disassociates the Data Block used as its backing store from the instance and sets the byte length of the buffer to 0. No operations defined by this specification use the DetachArrayBuffer abstract operation. However, an ECMAScript host may define such operations.</p>
+          <p>Detaching an ArrayBuffer instance disassociates the Data Block used as its backing store from the instance and sets the byte length of the buffer to 0. No operations defined by this specification use the DetachArrayBuffer abstract operation. However, an ECMAScript host or implementation may define such operations.</p>
         </emu-note>
       </emu-clause>