refreshing

index.html

@@ -39,22 +39,22 @@ <h2 id="architecture-and-design">Architecture and design</h2>
 <li>If brake or tactic linear-select stop, else start again at 1.</li>
 </ol></p>
 
-<h2 id="eye-unifying-logic">EYE Unifying Logic</h2>
+<h2 id="unifying-logic">Unifying Logic</h2>
 
 <ul>
 <li>Design Issues of Tim Berners-Lee: <a href="https://www.w3.org/DesignIssues/Logic.html">The Semantic Web as a language of logic</a></li>
 <li>PhD thesis of Dörthe Arndt: <a href="https://github.com/doerthe/PhD/blob/master/main.pdf">Notation3 as the Unifying Logic for the Semantic Web</a></li>
 <li>Proposed built-ins of w3c N3: <a href="https://w3c.github.io/N3/reports/20230703/builtins.html">Notation3 Builtin Functions</a></li>
 </ul>
 
-<h2 id="eye-reasoning">Explainable Reasoning</h2>
+<h2 id="explainable-reasoning">Explainable Reasoning</h2>
 
 <p>Running the Semantic Web Databus and Proofbus from <a href="https://www.w3.org/People/Berners-Lee/">Tim Berners-Lee</a> which is
 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>
 
-<h4 id="eye-color">EYE color</h4>
-<p>color means "condition logic restrictions" and they are: 
+<h2 id="eye-color">EYE color</h2>
+<p>color stands for "condition logic restrictions" and they are: 
 <ul>
 <li>N3 rules can only have quickvars with rule scope</li>
 <li>N3 graph terms only occur in built-ins</li>