diff --git a/spec/index.html b/spec/index.html
index 6f21831..4aaae08 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -461,8 +461,8 @@ <h2>RDF Documents and Syntaxes</h2>
       many different ways to encode the same <a>RDF graph</a> or
       <a>RDF dataset</a>, for example through the use of
       <a>namespace prefixes</a>,
-      <a>relative IRI references</a>, <a>blank node identifiers</a>,
-      and different ordering of statements. While these aspects can have great
+      <a>IRI references</a>, <a>blank node identifiers</a>,
+      and different ordering of triples. While these aspects can have great
       effect on the convenience of working with the <a>RDF document</a>,
       they are not significant for its meaning.</p>
   </section>
@@ -600,7 +600,12 @@ <h3>IRIs</h3>
         <dfn data-lt="URI" data-lt-noDefault><abbr title="Uniform Resource Identifier">URI</abbr>s</dfn>
         [[RFC3986]] that permits a wider range of Unicode characters.
         Every absolute URI and URL is an IRI, but not every IRI is an URI.
-        In RDF, IRIs are used as <em>IRI references</em>, as defined in [[RFC3987]].
+        In RDF, IRIs are used as <dfn data-lt="iri reference">IRI references</dfn>, as defined in [[RFC3987]]
+        <a data-cite="RFC3987#section-1.3">section 1.3</a>.
+        An IRI reference is common usage of an Internationalized Resource Identifier.
+        An IRI reference refers to either <a>IRI</a> or <a>relative IRI reference</a>,
+        as described by the <em>IRI-reference</em> production in <a href="#iri-abnf" class="sectionRef"></a>.
+        The abstract syntax uses only fully resolved <a>IRIs</a>.
         When IRIs are used in operations that are only
         defined for URIs, they must first be converted according to
         the mapping defined in