--- a/rdf-concepts/index.html	Tue May 15 11:40:45 2012 -0700
+++ b/rdf-concepts/index.html	Tue May 15 21:17:54 2012 +0100
@@ -311,6 +311,11 @@
     is presumed or demonstrated then the truth of <em>B</em> can be inferred.
     An account of meaning and entailment in RDF, using the formalism of
     model theory, is given in [[RDF-MT]].</p>
+
+    <p class="issue">The Working Group is considering removing the
+    <a href="http://www.w3.org/TR/rdf-mt/#rules">informative entailment rules</a>
+    from the <em>RDF Semantics</em> document, and moving them to another
+    document. Moving them to this document is one possibility.</p>
 </section>