diff --git a/spec.html b/spec.html
index 3135130..9a267b6 100644
--- a/spec.html
+++ b/spec.html
@@ -1032,72 +1032,5 @@
AsyncIterator.prototype [ @@toStringTag ]
This property has the attributes { [[Writable]]: *false*, [[Enumerable]]: *false*, [[Configurable]]: *true* }.
-
-
- The %AsyncFromSyncIteratorPrototype% Object
-
-
- %AsyncFromSyncIteratorPrototype%.next ( _value_ )
-
- 1. Let _O_ be the *this* value.
- 1. Assert: Type(_O_) is Object and _O_ has a [[SyncIteratorRecord]] internal slot.
- 1. Let _promiseCapability_ be ! NewPromiseCapability(%Promise%).
- 1. Let _check_ be Completion(RequireInternalSlot(_O_, [[SyncIteratorRecord]])).
- 1. IfAbruptRejectPromise(_check_, _promiseCapability_).
- 1. Let _syncIteratorRecord_ be _O_.[[SyncIteratorRecord]].
- 1. Let _result_ be Completion(IteratorNext(_syncIteratorRecord_, _value_)).
- 1. IfAbruptRejectPromise(_result_, _promiseCapability_).
- 1. Return AsyncFromSyncIteratorContinuation(_result_, _promiseCapability_).
-
-
-
-
- %AsyncFromSyncIteratorPrototype%.return ( _value_ )
-
-
- 1. Let _O_ be the *this* value.
- 1. Assert: Type(_O_) is Object and _O_ has a [[SyncIteratorRecord]] internal slot.
- 1. Let _promiseCapability_ be ! NewPromiseCapability(%Promise%).
- 1. Let _check_ be Completion(RequireInternalSlot(_O_, [[SyncIteratorRecord]])).
- 1. IfAbruptRejectPromise(_check_, _promiseCapability_).
- 1. Let _return_ be Completion(GetMethod(_syncIterator_, *"return"*)).
- 1. IfAbruptRejectPromise(_return_, _promiseCapability_).
- 1. If _return_ is *undefined*, then
- 1. Let _iterResult_ be CreateIterResultObject(_value_, *true*).
- 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _iterResult_ »).
- 1. Return _promiseCapability_.[[Promise]].
- 1. Let _result_ be Completion(Call(_return_, _syncIterator_, « _value_ »)).
- 1. IfAbruptRejectPromise(_result_, _promiseCapability_).
- 1. If Type(_result_) is not Object, then
- 1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « a newly created *TypeError* object »).
- 1. Return _promiseCapability_.[[Promise]].
- 1. Return AsyncFromSyncIteratorContinuation(_result_, _promiseCapability_).
-
-
-
-
- %AsyncFromSyncIteratorPrototype%.throw ( _value_ )
-
-
- 1. Let _O_ be the *this* value.
- 1. Assert: Type(_O_) is Object and _O_ has a [[SyncIteratorRecord]] internal slot.
- 1. Let _promiseCapability_ be ! NewPromiseCapability(%Promise%).
- 1. Let _check_ be Completion(RequireInternalSlot(_O_, [[SyncIteratorRecord]])).
- 1. IfAbruptRejectPromise(_check_, _promiseCapability_).
- 1. Let _syncIterator_ be _O_.[[SyncIteratorRecord]].[[Iterator]].
- 1. Let _throw_ be Completion(GetMethod(_syncIterator_, *"throw"*)).
- 1. IfAbruptRejectPromise(_throw_, _promiseCapability_).
- 1. If _throw_ is *undefined*, then
- 1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « _value_ »).
- 1. Return _promiseCapability_.[[Promise]].
- 1. Let _result_ be Completion(Call(_throw_, _syncIterator_, « _value_ »)).
- 1. IfAbruptRejectPromise(_result_, _promiseCapability_).
- 1. If Type(_result_) is not Object, then
- 1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « a newly created *TypeError* object »).
- 1. Return _promiseCapability_.[[Promise]].
- 1. Return AsyncFromSyncIteratorContinuation(_result_, _promiseCapability_).
-
-
-