diff --git a/index.bs b/index.bs
index 6ce56771..93cef809 100644
--- a/index.bs
+++ b/index.bs
@@ -12352,8 +12352,8 @@ The value of the [=function object=]’s name
property
- Specifications use various wordings to reference the "[=implements=]" algorithm,
- such as "|object| is an |interface| object", to mean, "|object| implements |interface|".
+ Specifications may reference the concept "|object| implements |interface|"
+ in various ways, including "|object| is an |interface| object".
Every [=platform object=] is associated with a global environment, just
@@ -12385,8 +12385,8 @@ Issue: The relevant |this| value is not always well-defined; see
#135 for discussion.
- Specifications use various wordings to reference the "[=create an object implementing
- the interface=]" algorithm, such as "a new |interface| object".
+ Specifications may refer to the "[=create an object implementing the
+ interface=]" algorithm in various ways, including "a new |interface| object".
@@ -12394,11 +12394,11 @@ Issue: The relevant |this| value is not always well-defined; see
The set of interfaces that a [=platform object=] [=implements=] does not change over
the lifetime of the object.
- Multiple [=interface objects=] associated with different [=Realm/global objects=]
- will allocate [=platform objects=] which have \[[PrimaryInterface]] internal
- slots referencing the same underlying [=interface=]. For example, a page may
- contain a same-origin iframe, with the iframe's method being called on the
- main page's element of the same kind, with no exception thrown.
+ Multiple [=platform objects=] with different [=Realm/global objects=] will share
+ a reference to the same [=interface=] in their \[[PrimaryInterface]] internal
+ slots. For example, a page may contain a same-origin iframe, with the iframe's
+ method being called on the main page's element of the same kind, with no exception
+ thrown.
[=Interface mixins=] do not participate directly in the evaluation of the [=implements=]
algorithm. Instead, each [=interface=] that the [=interface mixin=] is [=included=] in
@@ -12411,9 +12411,7 @@ Issue: The relevant |this| value is not always well-defined; see
The primary interface of a platform object
that [=implements=] one or more interfaces is the value of the object's
\[[PrimaryInterface]] internal slot, which is is the most-derived [=interface=]
-that it [=implements=]. The value of the \[[Prototype]] [=internal slot=]
-of the platform object is the [=interface prototype object=]
-of the [=primary interface=] from the [=platform object=]’s associated global environment.
+that it [=implements=].
The global environment that a given [=platform object=]
is associated with can change after it has been created. When