diff --git a/esmeta-ignore.json b/esmeta-ignore.json
index 9703c535b1..586a3a7adb 100644
--- a/esmeta-ignore.json
+++ b/esmeta-ignore.json
@@ -9,9 +9,7 @@
   "GetFunctionRealm",
   "GetGlobalObject",
   "GetViewByteLength",
-  "INTRINSICS.Atomics.add",
   "INTRINSICS.Atomics.notify",
-  "INTRINSICS.Atomics.sub",
   "InstallErrorCause",
   "MakeMatchIndicesIndexPairArray",
   "Record[BuiltinFunctionObject].Construct",
diff --git a/spec.html b/spec.html
index 8d08d7232f..dc2f9a0a6d 100644
--- a/spec.html
+++ b/spec.html
@@ -43341,6 +43341,7 @@ <h1>Notation</h1>
         <p>To aid verifying that a read-modify-write modification function's algorithm steps constitute a pure, mathematical function, the following editorial conventions are recommended:</p>
         <ul>
           <li>They do not access, directly or transitively via invoked abstract operations and abstract closures, any language or specification values except their parameters and captured values.</li>
+          <li>They do not invoke, directly or transitively, abstract operations and abstract closures that return Completion Records.</li>
           <li>They do not return Completion Records.</li>
         </ul>
       </emu-note>
@@ -45436,9 +45437,9 @@ <h1>
       <h1>Atomics.add ( _typedArray_, _index_, _value_ )</h1>
       <p>This function performs the following steps when called:</p>
       <emu-alg>
-        1. Let _type_ be TypedArrayElementType(_typedArray_).
-        1. Let _isLittleEndian_ be the value of the [[LittleEndian]] field of the surrounding agent's Agent Record.
-        1. Let _add_ be a new read-modify-write modification function with parameters (_xBytes_, _yBytes_) that captures _type_ and _isLittleEndian_ and performs the following steps atomically when called:
+        1. Let _add_ be a new read-modify-write modification function with parameters (_xBytes_, _yBytes_) that captures _typedArray_ and performs the following steps atomically when called:
+          1. Let _type_ be TypedArrayElementType(_typedArray_).
+          1. Let _isLittleEndian_ be the value of the [[LittleEndian]] field of the surrounding agent's Agent Record.
           1. Let _x_ be RawBytesToNumeric(_type_, _xBytes_, _isLittleEndian_).
           1. Let _y_ be RawBytesToNumeric(_type_, _yBytes_, _isLittleEndian_).
           1. If _x_ is a Number, then
@@ -45562,9 +45563,9 @@ <h1>Atomics.store ( _typedArray_, _index_, _value_ )</h1>
       <h1>Atomics.sub ( _typedArray_, _index_, _value_ )</h1>
       <p>This function performs the following steps when called:</p>
       <emu-alg>
-        1. Let _type_ be TypedArrayElementType(_typedArray_).
-        1. Let _isLittleEndian_ be the value of the [[LittleEndian]] field of the surrounding agent's Agent Record.
-        1. Let _subtract_ be a new read-modify-write modification function with parameters (_xBytes_, _yBytes_) that captures _type_ and _isLittleEndian_ and performs the following steps atomically when called:
+        1. Let _subtract_ be a new read-modify-write modification function with parameters (_xBytes_, _yBytes_) that captures _typedArray_ and performs the following steps atomically when called:
+          1. Let _type_ be TypedArrayElementType(_typedArray_).
+          1. Let _isLittleEndian_ be the value of the [[LittleEndian]] field of the surrounding agent's Agent Record.
           1. Let _x_ be RawBytesToNumeric(_type_, _xBytes_, _isLittleEndian_).
           1. Let _y_ be RawBytesToNumeric(_type_, _yBytes_, _isLittleEndian_).
           1. If _x_ is a Number, then