diff --git a/index.html b/index.html
index 653cd226c..ea7b41779 100644
--- a/index.html
+++ b/index.html
@@ -53,7 +53,8 @@ <h2 id="explainable-reasoning">Explainable Reasoning</h2>
 like a world wide welding machine transforming data into proofs:</p>
 <p><img src="https://www.w3.org/DesignIssues/diagrams/sweb-bus.png" width="480" height="400" alt="PDB"/></p>
 
-<p> EYE is implemented with the following assumptions:
+<h3 id="eye-reasoning-assumptions">EYE reasoning assumptions</h3>
+
 <ul>
 <li>N3 rules can only have quickvars and they have rule scope</li>
 <li>Quickvars are interpreted universally except for forward rule conclusion-only variables which are interpreted existentially</li>
@@ -61,7 +62,8 @@ <h2 id="explainable-reasoning">Explainable Reasoning</h2>
 </ul>
 </p>
 
-<p>Examples and test cases:
+<h3 id="examples-and-test-cases">Examples and Test Cases</h3>
+
 <ul>
 <li>bayesian networks:
   <a href="https://github.com/eyereasoner/eye/tree/master/reasoning/ccd">ccd</a>,