diff --git a/reports/20230703/index.html b/reports/20230703/index.html
index 1dcd9f7..f4f86eb 100644
--- a/reports/20230703/index.html
+++ b/reports/20230703/index.html
@@ -826,7 +826,7 @@ <h3>Collections</h3>
         as we no longer know who can be considered the "first" author.
       </p>
 
-      <p class="note">To an extent, an N3 collection <a href="semantics.html#terms-triples-and-graphs">is equivalent to</a> the more verbose <a
+      <p class="note">To an extent, an N3 collection is equivalent to the more verbose <a
           data-cite="rdf11-mt#rdf-collections">RDF Collection vocabulary</a>.
         We refer to the <a href="https://www.w3.org/TeamSubmission/n3/#lists">original N3 submission</a>
         for the additional axioms needed for this equivalency.
diff --git a/spec/index.html b/spec/index.html
index 63c933c..c38146e 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -823,7 +823,7 @@ <h3>Collections</h3>
         as we no longer know who can be considered the "first" author.
       </p>
 
-      <p class="note">To an extent, an N3 collection <a href="#semantics">is equivalent to</a> the more verbose <a
+      <p class="note">To an extent, an N3 collection is equivalent to the more verbose <a
           data-cite="rdf11-mt#rdf-collections">RDF Collection vocabulary</a>.
         We refer to the <a href="https://www.w3.org/TeamSubmission/n3/#lists">original N3 submission</a>
         for the additional axioms needed for this equivalency.
@@ -2176,10 +2176,6 @@ <h4>Graph Terms</h4>
         where the statement within the graph term should not be asserted.</p>
     </section>
   </section>
-  <section id='semantics'>
-    <h2>Semantics</h2>
-    <p>The formal semantics of N3 is a work in progress.</p>
-  </section>
   <section id='in-html' class="appendix informative">
     <h2>Embedding N3 in HTML documents</h2>
     <p>HTML [[HTML5]] <code>script</code> element can be used to embed data blocks in documents. N3 can be easily