From 40330ab87dd01d87de7f6fa1506201d9c2475a4d Mon Sep 17 00:00:00 2001
From: a <a@trwnh.com>
Date: Fri, 5 Jun 2026 19:05:04 -0500
Subject: [PATCH 1/2] Fix: Remove confusing wording regarding Object vs Link

Fix https://github.com/w3c/activitystreams/issues/706

Note that "everything is an extension of Object"
is still in effect due to the next paragraph's
last sentence containing the clause after the
semicolon.
---
 core/index.html | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/core/index.html b/core/index.html
index 0249f57..0d79c25 100644
--- a/core/index.html
+++ b/core/index.html
@@ -627,13 +627,14 @@ <h2>Model</h2>
     </p>
 
     <p>
-      Every JSON object in an Activity Streams 2.0 document is either an
-      <code><a>Object</a></code> or a <code><a>Link</a></code>. All other types
-      defined in the Activity Vocabulary, as well as all extension types, are
-      derived from these two base types.
+      All other types
+      defined in the Activity Vocabulary are
+      derived from these base types.
     </p>
 
     <p>
+      One exception is the <code>Link</code> type, which is
+      disjoint with the <code>Object</code> base type.
       A JSON object in the Activity Streams 2.0 document is a
       <code><a>Link</a></code> if either: (a) the object contains a
       <code>type</code> property whose value includes "<code>Link</code>" or

From 4499290e3a4ae4f67c0751640c7325586f43aa3f Mon Sep 17 00:00:00 2001
From: a <a@trwnh.com>
Date: Mon, 8 Jun 2026 18:43:11 -0500
Subject: [PATCH 2/2] Fix: "exception" is not actually an exception

---
 core/index.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/core/index.html b/core/index.html
index 0d79c25..cb667b5 100644
--- a/core/index.html
+++ b/core/index.html
@@ -629,20 +629,20 @@ <h2>Model</h2>
     <p>
       All other types
       defined in the Activity Vocabulary are
-      derived from these base types.
+      extensions of these base types.
     </p>
 
     <p>
-      One exception is the <code>Link</code> type, which is
-      disjoint with the <code>Object</code> base type.
+      The <code>Link</code> base type is disjoint with
+      the <code>Object</code> base type,
+      so JSON objects having both types are logical contradictions.
       A JSON object in the Activity Streams 2.0 document is a
       <code><a>Link</a></code> if either: (a) the object contains a
       <code>type</code> property whose value includes "<code>Link</code>" or
       (b) any of the types included in the value of the <code>type</code>
       property are defined as extensions of <a>Link</a> (see
       <a href="https://www.w3.org/TR/activitystreams-vocabulary/#dfn-mention">Mention</a> for
-      instance); otherwise the JSON object is considered an instance
-      or extension of <code><a>Object</a></code>.
+      instance).
     </p>
 
     <section id="object">