diff --git a/docs/reference/AMPERSAND•AMPERSAND.md b/docs/reference/AMPERSAND•AMPERSAND.md
index 84b7739..c54daa9 100644
--- a/docs/reference/AMPERSAND•AMPERSAND.md
+++ b/docs/reference/AMPERSAND•AMPERSAND.md
@@ -2,28 +2,40 @@
 
 ## &&
 
-Basis Function Combinator
+Combinator
 
-nulco \[nullary \[false\]\] dip branch
+Short-circuiting Boolean AND
+
+Accept two quoted programs, run the first and expect a Boolean value, if
+it's `true` pop it and run the second program (which should also return a
+Boolean value) otherwise pop the second program (leaving `false` on the
+stack.)
+
+
+       [A] [B] &&
+    ---------------- true
+            B
+
+
+       [A] [B] &&
+    ---------------- false
+         false
 
-Gentzen diagram.
 
 ### Definition
 
-if not basis.
+    nulco [nullary [false]] dip branch
 
 ### Derivation
 
-if not basis.
-
-### Source
-
-if basis
+TODO: this is derived in one of the notebooks I think, look it up and
+link to it, or copy the content here.
 
 ### Discussion
 
-Lorem ipsum.
+This is seldom useful, I suspect, but this way you have it.
 
 ### Crosslinks
 
-Lorem ipsum.
+[||](#section-25)
+
diff --git a/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md b/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md
index dddf86c..dae737e 100644
--- a/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md
+++ b/docs/reference/EXCLAMATION-MARK•HYPHEN-MINUS.md
@@ -2,28 +2,27 @@
 
 ## !-
 
-Basis Function Combinator
+Function
 
-0 \>=
+Not negative.
+
+
+        n !-
+    ----------- n < 0
+       false
+
+
+       n !-
+    ---------- n >= 0
+       true
 
-Gentzen diagram.
 
 ### Definition
 
-if not basis.
-
-### Derivation
-
-if not basis.
-
-### Source
-
-if basis
+    0 \>=
 
 ### Discussion
 
-Lorem ipsum.
+Return a Boolean value indicating if a number is greater than or equal to
+zero.
 
-### Crosslinks
-
-Lorem ipsum.
diff --git a/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md b/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md
index eb4ae86..28d1ef9 100644
--- a/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md
+++ b/docs/reference/LESS-THAN-SIGN•LEFT-CURLY-BRACKET•RIGHT-CURLY-BRACKET.md
@@ -2,23 +2,17 @@
 
 ## \<{}
 
-Basis Function Combinator
+Function
 
-\[\] swap
 
-Gentzen diagram.
+       ... a \<{}
+    ----------------
+       ... [] a
+
 
 ### Definition
 
-if not basis.
-
-### Derivation
-
-if not basis.
-
-### Source
-
-if basis
+    \[\] swap
 
 ### Discussion
 
diff --git a/docs/reference/mkref/FuncRef.html b/docs/reference/mkref/FuncRef.html
index 9aa66c3..f4df306 100644
--- a/docs/reference/mkref/FuncRef.html
+++ b/docs/reference/mkref/FuncRef.html
@@ -354,19 +354,25 @@
 <p>See <a href="#and">and</a>.</p>
 <hr />
 <h2 id="section-1">&amp;&amp;</h2>
-<p>Basis Function Combinator</p>
-<p>nulco [nullary [false]] dip branch</p>
-<p>Gentzen diagram.</p>
+<p>Combinator</p>
+<p>Short-circuiting Boolean AND</p>
+<p>Accept two quoted programs, run the first and expect a Boolean value, if it&#x2019;s <code>true</code> pop it and run the second program (which should also return a Boolean value) otherwise pop the second program (leaving <code>false</code> on the stack.)</p>
+<pre><code>   [A] [B] &amp;&amp;
+---------------- true
+        B
+
+
+   [A] [B] &amp;&amp;
+---------------- false
+     false</code></pre>
 <h3 id="definition">Definition</h3>
-<p>if not basis.</p>
+<pre><code>nulco [nullary [false]] dip branch</code></pre>
 <h3 id="derivation">Derivation</h3>
-<p>if not basis.</p>
-<h3 id="source">Source</h3>
-<p>if basis</p>
+<p>TODO: this is derived in one of the notebooks I think, look it up and link to it, or copy the content here.</p>
 <h3 id="discussion">Discussion</h3>
-<p>Lorem ipsum.</p>
+<p>This is seldom useful, I suspect, but this way you have it.</p>
 <h3 id="crosslinks">Crosslinks</h3>
-<p>Lorem ipsum.</p>
+<p><a href="#section-25">||</a></p>
 <hr />
 <h2 id="section-2">*</h2>
 <p>See <a href="#mul">mul</a>.</p>
@@ -384,19 +390,20 @@
 <p>See <a href="#ne">ne</a>.</p>
 <hr />
 <h2 id="section-7">!-</h2>
-<p>Basis Function Combinator</p>
-<p>0 &gt;=</p>
-<p>Gentzen diagram.</p>
+<p>Function</p>
+<p>Not negative.</p>
+<pre><code>    n !-
+----------- n &lt; 0
+   false
+
+
+   n !-
+---------- n &gt;= 0
+   true</code></pre>
 <h3 id="definition-1">Definition</h3>
-<p>if not basis.</p>
-<h3 id="derivation-1">Derivation</h3>
-<p>if not basis.</p>
-<h3 id="source-1">Source</h3>
-<p>if basis</p>
+<pre><code>0 \&gt;=</code></pre>
 <h3 id="discussion-1">Discussion</h3>
-<p>Lorem ipsum.</p>
-<h3 id="crosslinks-1">Crosslinks</h3>
-<p>Lorem ipsum.</p>
+<p>Return a Boolean value indicating if a number is greater than or equal to zero.</p>
 <hr />
 <h2 id="section-8">&gt;</h2>
 <p>See <a href="#gt">gt</a>.</p>
@@ -423,18 +430,15 @@
 <p>See <a href="#ne">ne</a>.</p>
 <hr />
 <h2 id="section-16">&lt;</h2>
-<p>Basis Function Combinator</p>
-<p>[] swap</p>
-<p>Gentzen diagram.</p>
+<p>Function</p>
+<pre><code>   ... a \&lt;{}
+----------------
+   ... [] a</code></pre>
 <h3 id="definition-2">Definition</h3>
-<p>if not basis.</p>
-<h3 id="derivation-2">Derivation</h3>
-<p>if not basis.</p>
-<h3 id="source-2">Source</h3>
-<p>if basis</p>
+<pre><code>\[\] swap</code></pre>
 <h3 id="discussion-2">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-2">Crosslinks</h3>
+<h3 id="crosslinks-1">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="section-17">&lt;&lt;</h2>
@@ -446,13 +450,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-3">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-3">Derivation</h3>
+<h3 id="derivation-1">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-3">Source</h3>
+<h3 id="source">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-3">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-3">Crosslinks</h3>
+<h3 id="crosslinks-2">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="section-19">%</h2>
@@ -470,13 +474,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-4">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-4">Derivation</h3>
+<h3 id="derivation-2">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-4">Source</h3>
+<h3 id="source-1">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-4">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-4">Crosslinks</h3>
+<h3 id="crosslinks-3">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="section-23">/</h2>
@@ -494,13 +498,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-5">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-5">Derivation</h3>
+<h3 id="derivation-3">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-5">Source</h3>
+<h3 id="source-2">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-5">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-5">Crosslinks</h3>
+<h3 id="crosslinks-4">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="abs">abs</h2>
@@ -509,13 +513,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-6">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-6">Derivation</h3>
+<h3 id="derivation-4">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-6">Source</h3>
+<h3 id="source-3">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-6">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-6">Crosslinks</h3>
+<h3 id="crosslinks-5">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="add">add</h2>
@@ -524,13 +528,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-7">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-7">Derivation</h3>
+<h3 id="derivation-5">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-7">Source</h3>
+<h3 id="source-4">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-7">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-7">Crosslinks</h3>
+<h3 id="crosslinks-6">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="anamorphism">anamorphism</h2>
@@ -539,13 +543,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-8">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-8">Derivation</h3>
+<h3 id="derivation-6">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-8">Source</h3>
+<h3 id="source-5">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-8">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-8">Crosslinks</h3>
+<h3 id="crosslinks-7">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="and">and</h2>
@@ -554,13 +558,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-9">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-9">Derivation</h3>
+<h3 id="derivation-7">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-9">Source</h3>
+<h3 id="source-6">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-9">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-9">Crosslinks</h3>
+<h3 id="crosslinks-8">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="app1">app1</h2>
@@ -585,13 +589,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-11">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-10">Derivation</h3>
+<h3 id="derivation-8">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-10">Source</h3>
+<h3 id="source-7">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-11">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-10">Crosslinks</h3>
+<h3 id="crosslinks-9">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="app3">app3</h2>
@@ -604,13 +608,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-12">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-11">Derivation</h3>
+<h3 id="derivation-9">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-11">Source</h3>
+<h3 id="source-8">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-12">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-11">Crosslinks</h3>
+<h3 id="crosslinks-10">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="appn">appN</h2>
@@ -619,13 +623,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-13">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-12">Derivation</h3>
+<h3 id="derivation-10">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-12">Source</h3>
+<h3 id="source-9">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-13">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-12">Crosslinks</h3>
+<h3 id="crosslinks-11">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="at">at</h2>
@@ -637,13 +641,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-14">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-13">Derivation</h3>
+<h3 id="derivation-11">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-13">Source</h3>
+<h3 id="source-10">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-14">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-13">Crosslinks</h3>
+<h3 id="crosslinks-12">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="b">b</h2>
@@ -654,7 +658,7 @@
       P Q</code></pre>
 <h3 id="definition-15">Definition</h3>
 <pre><code>[i] dip i</code></pre>
-<h3 id="derivation-14">Derivation</h3>
+<h3 id="derivation-12">Derivation</h3>
 <pre><code>[P] [Q] b
 [P] [Q] [i] dip i
 [P] i [Q] i
@@ -662,7 +666,7 @@
  P     Q</code></pre>
 <h3 id="discussion-15">Discussion</h3>
 <p>This combinator comes in handy.</p>
-<h3 id="crosslinks-14">Crosslinks</h3>
+<h3 id="crosslinks-13">Crosslinks</h3>
 <p><a href="#dupdip">dupdip</a> <a href="#ii">ii</a></p>
 <hr />
 <h2 id="binary">binary</h2>
@@ -675,7 +679,7 @@
 <pre><code>unary popd</code></pre>
 <h3 id="discussion-16">Discussion</h3>
 <p>Runs any other quoted function and returns its first result while consuming exactly two items from the stack.</p>
-<h3 id="crosslinks-15">Crosslinks</h3>
+<h3 id="crosslinks-14">Crosslinks</h3>
 <p><a href="#nullary">nullary</a> <a href="#ternary">ternary</a> <a href="#unary">unary</a></p>
 <hr />
 <h2 id="bool">bool</h2>
@@ -685,13 +689,13 @@
 <p>Gentzen diagram.</p>
 <h3 id="definition-17">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-15">Derivation</h3>
+<h3 id="derivation-13">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-14">Source</h3>
+<h3 id="source-11">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-17">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-16">Crosslinks</h3>
+<h3 id="crosslinks-15">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="branch">branch</h2>
@@ -709,13 +713,13 @@ True [F] [T] branch
 <p>Gentzen diagram.</p>
 <h3 id="definition-18">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-16">Derivation</h3>
+<h3 id="derivation-14">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-15">Source</h3>
+<h3 id="source-12">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-18">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-17">Crosslinks</h3>
+<h3 id="crosslinks-16">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="ccccons">ccccons</h2>
@@ -724,13 +728,13 @@ True [F] [T] branch
 <p>Gentzen diagram.</p>
 <h3 id="definition-19">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-17">Derivation</h3>
+<h3 id="derivation-15">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-16">Source</h3>
+<h3 id="source-13">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-19">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-18">Crosslinks</h3>
+<h3 id="crosslinks-17">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="ccons">ccons</h2>
@@ -743,7 +747,7 @@ True [F] [T] branch
 <pre><code>cons cons</code></pre>
 <h3 id="discussion-20">Discussion</h3>
 <p>Does <code>cons</code> twice.</p>
-<h3 id="crosslinks-19">Crosslinks</h3>
+<h3 id="crosslinks-18">Crosslinks</h3>
 <p><a href="#cons">cons</a></p>
 <hr />
 <h2 id="choice">choice</h2>
@@ -761,13 +765,13 @@ A B true choice
 <p>Gentzen diagram.</p>
 <h3 id="definition-21">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-18">Derivation</h3>
+<h3 id="derivation-16">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-17">Source</h3>
+<h3 id="source-14">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-21">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-20">Crosslinks</h3>
+<h3 id="crosslinks-19">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="clear">clear</h2>
@@ -782,13 +786,13 @@ A B true choice
 <p>Gentzen diagram.</p>
 <h3 id="definition-22">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-19">Derivation</h3>
+<h3 id="derivation-17">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-18">Source</h3>
+<h3 id="source-15">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-22">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-21">Crosslinks</h3>
+<h3 id="crosslinks-20">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="cleave">cleave</h2>
@@ -797,13 +801,13 @@ A B true choice
 <p>Gentzen diagram.</p>
 <h3 id="definition-23">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-20">Derivation</h3>
+<h3 id="derivation-18">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-19">Source</h3>
+<h3 id="source-16">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-23">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-22">Crosslinks</h3>
+<h3 id="crosslinks-21">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="clop">clop</h2>
@@ -812,13 +816,13 @@ A B true choice
 <p>Gentzen diagram.</p>
 <h3 id="definition-24">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-21">Derivation</h3>
+<h3 id="derivation-19">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-20">Source</h3>
+<h3 id="source-17">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-24">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-23">Crosslinks</h3>
+<h3 id="crosslinks-22">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="cmp">cmp</h2>
@@ -838,13 +842,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-25">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-22">Derivation</h3>
+<h3 id="derivation-20">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-21">Source</h3>
+<h3 id="source-18">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-25">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-24">Crosslinks</h3>
+<h3 id="crosslinks-23">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="codi">codi</h2>
@@ -853,13 +857,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-26">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-23">Derivation</h3>
+<h3 id="derivation-21">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-22">Source</h3>
+<h3 id="source-19">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-26">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-25">Crosslinks</h3>
+<h3 id="crosslinks-24">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="codireco">codireco</h2>
@@ -868,13 +872,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-27">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-24">Derivation</h3>
+<h3 id="derivation-22">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-23">Source</h3>
+<h3 id="source-20">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-27">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-26">Crosslinks</h3>
+<h3 id="crosslinks-25">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="concat">concat</h2>
@@ -886,13 +890,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-28">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-25">Derivation</h3>
+<h3 id="derivation-23">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-24">Source</h3>
+<h3 id="source-21">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-28">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-27">Crosslinks</h3>
+<h3 id="crosslinks-26">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="cond">cond</h2>
@@ -905,13 +909,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-29">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-26">Derivation</h3>
+<h3 id="derivation-24">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-25">Source</h3>
+<h3 id="source-22">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-29">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-28">Crosslinks</h3>
+<h3 id="crosslinks-27">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="cons">cons</h2>
@@ -920,11 +924,11 @@ a b [G] [E] [L] cmp
 <pre><code>   A [...] cons
 ------------------
      [A ...]</code></pre>
-<h3 id="source-26">Source</h3>
+<h3 id="source-23">Source</h3>
 <pre><code>func(cons, [list(A), B|S], [list([B|A])|S]).</code></pre>
 <h3 id="discussion-30">Discussion</h3>
 <p>Cons is a venerable old function from Lisp. It doesn&#x2019;t inspect the item but it will not cons onto a non-list. It&#x2019;s inverse operation is called <code>uncons</code>.</p>
-<h3 id="crosslinks-29">Crosslinks</h3>
+<h3 id="crosslinks-28">Crosslinks</h3>
 <p><a href="#ccons">ccons</a> <a href="#uncons">uncons</a></p>
 <hr />
 <h2 id="dinfrirst">dinfrirst</h2>
@@ -933,13 +937,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-30">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-27">Derivation</h3>
+<h3 id="derivation-25">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-27">Source</h3>
+<h3 id="source-24">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-31">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-30">Crosslinks</h3>
+<h3 id="crosslinks-29">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="dip">dip</h2>
@@ -951,13 +955,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-31">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-28">Derivation</h3>
+<h3 id="derivation-26">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-28">Source</h3>
+<h3 id="source-25">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-32">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-31">Crosslinks</h3>
+<h3 id="crosslinks-30">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="dipd">dipd</h2>
@@ -969,13 +973,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-32">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-29">Derivation</h3>
+<h3 id="derivation-27">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-29">Source</h3>
+<h3 id="source-26">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-33">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-32">Crosslinks</h3>
+<h3 id="crosslinks-31">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="dipdd">dipdd</h2>
@@ -987,13 +991,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-33">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-30">Derivation</h3>
+<h3 id="derivation-28">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-30">Source</h3>
+<h3 id="source-27">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-34">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-33">Crosslinks</h3>
+<h3 id="crosslinks-32">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="disenstacken">disenstacken</h2>
@@ -1002,13 +1006,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-34">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-31">Derivation</h3>
+<h3 id="derivation-29">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-31">Source</h3>
+<h3 id="source-28">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-35">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-34">Crosslinks</h3>
+<h3 id="crosslinks-33">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="div">div</h2>
@@ -1021,13 +1025,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-35">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-32">Derivation</h3>
+<h3 id="derivation-30">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-32">Source</h3>
+<h3 id="source-29">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-36">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-35">Crosslinks</h3>
+<h3 id="crosslinks-34">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="down_to_zero">down_to_zero</h2>
@@ -1036,13 +1040,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-36">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-33">Derivation</h3>
+<h3 id="derivation-31">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-33">Source</h3>
+<h3 id="source-30">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-37">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-36">Crosslinks</h3>
+<h3 id="crosslinks-35">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="drop">drop</h2>
@@ -1055,13 +1059,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-37">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-34">Derivation</h3>
+<h3 id="derivation-32">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-34">Source</h3>
+<h3 id="source-31">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-38">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-37">Crosslinks</h3>
+<h3 id="crosslinks-36">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="dup">dup</h2>
@@ -1070,13 +1074,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-38">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-35">Derivation</h3>
+<h3 id="derivation-33">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-35">Source</h3>
+<h3 id="source-32">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-39">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-38">Crosslinks</h3>
+<h3 id="crosslinks-37">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="dupd">dupd</h2>
@@ -1085,13 +1089,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-39">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-36">Derivation</h3>
+<h3 id="derivation-34">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-36">Source</h3>
+<h3 id="source-33">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-40">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-39">Crosslinks</h3>
+<h3 id="crosslinks-38">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="dupdd">dupdd</h2>
@@ -1100,13 +1104,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-40">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-37">Derivation</h3>
+<h3 id="derivation-35">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-37">Source</h3>
+<h3 id="source-34">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-41">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-40">Crosslinks</h3>
+<h3 id="crosslinks-39">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="dupdip">dupdip</h2>
@@ -1120,13 +1124,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-41">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-38">Derivation</h3>
+<h3 id="derivation-36">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-38">Source</h3>
+<h3 id="source-35">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-42">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-41">Crosslinks</h3>
+<h3 id="crosslinks-40">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="dupdipd">dupdipd</h2>
@@ -1135,13 +1139,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-42">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-39">Derivation</h3>
+<h3 id="derivation-37">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-39">Source</h3>
+<h3 id="source-36">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-43">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-42">Crosslinks</h3>
+<h3 id="crosslinks-41">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="enstacken">enstacken</h2>
@@ -1150,13 +1154,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-43">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-40">Derivation</h3>
+<h3 id="derivation-38">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-40">Source</h3>
+<h3 id="source-37">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-44">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-43">Crosslinks</h3>
+<h3 id="crosslinks-42">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="eq">eq</h2>
@@ -1165,13 +1169,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-44">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-41">Derivation</h3>
+<h3 id="derivation-39">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-41">Source</h3>
+<h3 id="source-38">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-45">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-44">Crosslinks</h3>
+<h3 id="crosslinks-43">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="first">first</h2>
@@ -1180,13 +1184,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-45">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-42">Derivation</h3>
+<h3 id="derivation-40">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-42">Source</h3>
+<h3 id="source-39">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-46">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-45">Crosslinks</h3>
+<h3 id="crosslinks-44">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="first_two">first_two</h2>
@@ -1195,13 +1199,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-46">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-43">Derivation</h3>
+<h3 id="derivation-41">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-43">Source</h3>
+<h3 id="source-40">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-47">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-46">Crosslinks</h3>
+<h3 id="crosslinks-45">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="flatten">flatten</h2>
@@ -1210,13 +1214,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-47">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-44">Derivation</h3>
+<h3 id="derivation-42">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-44">Source</h3>
+<h3 id="source-41">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-48">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-47">Crosslinks</h3>
+<h3 id="crosslinks-46">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="floor-1">floor</h2>
@@ -1226,13 +1230,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-48">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-45">Derivation</h3>
+<h3 id="derivation-43">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-45">Source</h3>
+<h3 id="source-42">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-49">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-48">Crosslinks</h3>
+<h3 id="crosslinks-47">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="floordiv">floordiv</h2>
@@ -1241,13 +1245,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-49">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-46">Derivation</h3>
+<h3 id="derivation-44">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-46">Source</h3>
+<h3 id="source-43">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-50">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-49">Crosslinks</h3>
+<h3 id="crosslinks-48">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="fork">fork</h2>
@@ -1256,13 +1260,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-50">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-47">Derivation</h3>
+<h3 id="derivation-45">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-47">Source</h3>
+<h3 id="source-44">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-51">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-50">Crosslinks</h3>
+<h3 id="crosslinks-49">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="fourth">fourth</h2>
@@ -1271,13 +1275,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-51">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-48">Derivation</h3>
+<h3 id="derivation-46">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-48">Source</h3>
+<h3 id="source-45">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-52">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-51">Crosslinks</h3>
+<h3 id="crosslinks-50">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="gcd">gcd</h2>
@@ -1286,13 +1290,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-52">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-49">Derivation</h3>
+<h3 id="derivation-47">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-49">Source</h3>
+<h3 id="source-46">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-53">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-52">Crosslinks</h3>
+<h3 id="crosslinks-51">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="gcd2">gcd2</h2>
@@ -1301,13 +1305,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-53">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-50">Derivation</h3>
+<h3 id="derivation-48">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-50">Source</h3>
+<h3 id="source-47">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-54">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-53">Crosslinks</h3>
+<h3 id="crosslinks-52">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="ge">ge</h2>
@@ -1316,13 +1320,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-54">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-51">Derivation</h3>
+<h3 id="derivation-49">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-51">Source</h3>
+<h3 id="source-48">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-55">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-54">Crosslinks</h3>
+<h3 id="crosslinks-53">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="genrec">genrec</h2>
@@ -1347,13 +1351,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-55">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-52">Derivation</h3>
+<h3 id="derivation-50">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-52">Source</h3>
+<h3 id="source-49">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-56">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-55">Crosslinks</h3>
+<h3 id="crosslinks-54">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="getitem">getitem</h2>
@@ -1366,13 +1370,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-56">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-53">Derivation</h3>
+<h3 id="derivation-51">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-53">Source</h3>
+<h3 id="source-50">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-57">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-56">Crosslinks</h3>
+<h3 id="crosslinks-55">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="grabn">grabN</h2>
@@ -1381,13 +1385,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-57">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-54">Derivation</h3>
+<h3 id="derivation-52">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-54">Source</h3>
+<h3 id="source-51">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-58">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-57">Crosslinks</h3>
+<h3 id="crosslinks-56">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="grba">grba</h2>
@@ -1396,13 +1400,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-58">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-55">Derivation</h3>
+<h3 id="derivation-53">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-55">Source</h3>
+<h3 id="source-52">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-59">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-58">Crosslinks</h3>
+<h3 id="crosslinks-57">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="gt">gt</h2>
@@ -1411,13 +1415,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-59">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-56">Derivation</h3>
+<h3 id="derivation-54">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-56">Source</h3>
+<h3 id="source-53">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-60">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-59">Crosslinks</h3>
+<h3 id="crosslinks-58">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="help">help</h2>
@@ -1426,13 +1430,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-60">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-57">Derivation</h3>
+<h3 id="derivation-55">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-57">Source</h3>
+<h3 id="source-54">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-61">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-60">Crosslinks</h3>
+<h3 id="crosslinks-59">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="hypot">hypot</h2>
@@ -1441,13 +1445,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-61">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-58">Derivation</h3>
+<h3 id="derivation-56">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-58">Source</h3>
+<h3 id="source-55">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-62">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-61">Crosslinks</h3>
+<h3 id="crosslinks-60">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="i">i</h2>
@@ -1456,7 +1460,7 @@ a b [G] [E] [L] cmp
 <pre><code>   [Q] i
 -----------
     Q</code></pre>
-<h3 id="source-59">Source</h3>
+<h3 id="source-56">Source</h3>
 <pre><code>combo(i, [list(P)|S], S, Ei, Eo) :- append(P, Ei, Eo).</code></pre>
 <h3 id="discussion-63">Discussion</h3>
 <p>This is probably the fundamental combinator. You wind up using it in all kinds of places (for example, the <code>x</code> combinator can be defined as <code>dup i</code>.)</p>
@@ -1467,13 +1471,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-62">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-59">Derivation</h3>
+<h3 id="derivation-57">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-60">Source</h3>
+<h3 id="source-57">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-64">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-62">Crosslinks</h3>
+<h3 id="crosslinks-61">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="ifte">ifte</h2>
@@ -1493,13 +1497,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-63">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-60">Derivation</h3>
+<h3 id="derivation-58">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-61">Source</h3>
+<h3 id="source-58">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-65">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-63">Crosslinks</h3>
+<h3 id="crosslinks-62">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="ii">ii</h2>
@@ -1510,13 +1514,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-64">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-61">Derivation</h3>
+<h3 id="derivation-59">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-62">Source</h3>
+<h3 id="source-59">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-66">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-64">Crosslinks</h3>
+<h3 id="crosslinks-63">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="infra">infra</h2>
@@ -1529,7 +1533,7 @@ a b [G] [E] [L] cmp
 <pre><code>swons swaack [i] dip swaack</code></pre>
 <h3 id="discussion-67">Discussion</h3>
 <p>This is one of the more useful combinators. It allows a quoted expression to serve as a stack for a program, effectively running it in a kind of &#x201C;pocket universe&#x201D;. If the list represents a datastructure then <code>infra</code> lets you work on its internal structure.</p>
-<h3 id="crosslinks-65">Crosslinks</h3>
+<h3 id="crosslinks-64">Crosslinks</h3>
 <p><a href="#swaack">swaack</a></p>
 <hr />
 <h2 id="infrst">infrst</h2>
@@ -1538,13 +1542,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-66">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-62">Derivation</h3>
+<h3 id="derivation-60">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-63">Source</h3>
+<h3 id="source-60">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-68">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-66">Crosslinks</h3>
+<h3 id="crosslinks-65">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="inscribe">inscribe</h2>
@@ -1556,13 +1560,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-67">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-63">Derivation</h3>
+<h3 id="derivation-61">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-64">Source</h3>
+<h3 id="source-61">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-69">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-67">Crosslinks</h3>
+<h3 id="crosslinks-66">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="le">le</h2>
@@ -1571,13 +1575,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-68">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-64">Derivation</h3>
+<h3 id="derivation-62">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-65">Source</h3>
+<h3 id="source-62">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-70">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-68">Crosslinks</h3>
+<h3 id="crosslinks-67">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="loop">loop</h2>
@@ -1593,13 +1597,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-69">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-65">Derivation</h3>
+<h3 id="derivation-63">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-66">Source</h3>
+<h3 id="source-63">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-71">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-69">Crosslinks</h3>
+<h3 id="crosslinks-68">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="lshift">lshift</h2>
@@ -1608,13 +1612,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-70">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-66">Derivation</h3>
+<h3 id="derivation-64">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-67">Source</h3>
+<h3 id="source-64">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-72">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-70">Crosslinks</h3>
+<h3 id="crosslinks-69">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="lt">lt</h2>
@@ -1623,13 +1627,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-71">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-67">Derivation</h3>
+<h3 id="derivation-65">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-68">Source</h3>
+<h3 id="source-65">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-73">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-71">Crosslinks</h3>
+<h3 id="crosslinks-70">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="make_generator">make_generator</h2>
@@ -1638,13 +1642,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-72">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-68">Derivation</h3>
+<h3 id="derivation-66">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-69">Source</h3>
+<h3 id="source-66">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-74">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-72">Crosslinks</h3>
+<h3 id="crosslinks-71">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="map">map</h2>
@@ -1653,13 +1657,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-73">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-69">Derivation</h3>
+<h3 id="derivation-67">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-70">Source</h3>
+<h3 id="source-67">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-75">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-73">Crosslinks</h3>
+<h3 id="crosslinks-72">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="max">max</h2>
@@ -1668,13 +1672,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-74">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-70">Derivation</h3>
+<h3 id="derivation-68">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-71">Source</h3>
+<h3 id="source-68">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-76">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-74">Crosslinks</h3>
+<h3 id="crosslinks-73">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="min">min</h2>
@@ -1683,13 +1687,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-75">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-71">Derivation</h3>
+<h3 id="derivation-69">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-72">Source</h3>
+<h3 id="source-69">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-77">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-75">Crosslinks</h3>
+<h3 id="crosslinks-74">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="mod">mod</h2>
@@ -1698,13 +1702,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-76">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-72">Derivation</h3>
+<h3 id="derivation-70">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-73">Source</h3>
+<h3 id="source-70">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-78">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-76">Crosslinks</h3>
+<h3 id="crosslinks-75">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="modulus">modulus</h2>
@@ -1716,13 +1720,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-77">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-73">Derivation</h3>
+<h3 id="derivation-71">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-74">Source</h3>
+<h3 id="source-71">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-79">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-77">Crosslinks</h3>
+<h3 id="crosslinks-76">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="ne">ne</h2>
@@ -1731,13 +1735,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-78">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-74">Derivation</h3>
+<h3 id="derivation-72">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-75">Source</h3>
+<h3 id="source-72">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-80">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-78">Crosslinks</h3>
+<h3 id="crosslinks-77">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="neg">neg</h2>
@@ -1746,13 +1750,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-79">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-75">Derivation</h3>
+<h3 id="derivation-73">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-76">Source</h3>
+<h3 id="source-73">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-81">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-79">Crosslinks</h3>
+<h3 id="crosslinks-78">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="not">not</h2>
@@ -1761,13 +1765,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-80">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-76">Derivation</h3>
+<h3 id="derivation-74">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-77">Source</h3>
+<h3 id="source-74">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-82">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-80">Crosslinks</h3>
+<h3 id="crosslinks-79">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="section-26">!-</h2>
@@ -1790,13 +1794,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-82">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-77">Derivation</h3>
+<h3 id="derivation-75">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-78">Source</h3>
+<h3 id="source-75">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-83">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-81">Crosslinks</h3>
+<h3 id="crosslinks-80">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="nullary">nullary</h2>
@@ -1807,7 +1811,7 @@ a b [G] [E] [L] cmp
         ... A</code></pre>
 <h3 id="definition-83">Definition</h3>
 <pre><code>[stack] dip infra first</code></pre>
-<h3 id="derivation-78">Derivation</h3>
+<h3 id="derivation-76">Derivation</h3>
 <pre><code>... [P] nullary
 ... [P] [stack] dip infra first
 ... stack [P] infra first
@@ -1816,7 +1820,7 @@ a b [G] [E] [L] cmp
 ...  A</code></pre>
 <h3 id="discussion-84">Discussion</h3>
 <p>A very useful function that runs any other quoted function and returns it&#x2019;s first result without disturbing the stack (under the quoted program.)</p>
-<h3 id="crosslinks-82">Crosslinks</h3>
+<h3 id="crosslinks-81">Crosslinks</h3>
 <p><a href="#unary">unary</a> <a href="#binary">binary</a> <a href="#ternary">ternary</a></p>
 <hr />
 <h2 id="of">of</h2>
@@ -1825,13 +1829,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-84">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-79">Derivation</h3>
+<h3 id="derivation-77">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-79">Source</h3>
+<h3 id="source-76">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-85">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-83">Crosslinks</h3>
+<h3 id="crosslinks-82">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="or">or</h2>
@@ -1840,13 +1844,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-85">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-80">Derivation</h3>
+<h3 id="derivation-78">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-80">Source</h3>
+<h3 id="source-77">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-86">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-84">Crosslinks</h3>
+<h3 id="crosslinks-83">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="over">over</h2>
@@ -1855,13 +1859,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-86">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-81">Derivation</h3>
+<h3 id="derivation-79">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-81">Source</h3>
+<h3 id="source-78">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-87">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-85">Crosslinks</h3>
+<h3 id="crosslinks-84">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="pam">pam</h2>
@@ -1870,13 +1874,13 @@ a b [G] [E] [L] cmp
 <p>Gentzen diagram.</p>
 <h3 id="definition-87">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-82">Derivation</h3>
+<h3 id="derivation-80">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-82">Source</h3>
+<h3 id="source-79">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-88">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-86">Crosslinks</h3>
+<h3 id="crosslinks-85">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="pick">pick</h2>
@@ -1891,13 +1895,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-88">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-83">Derivation</h3>
+<h3 id="derivation-81">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-83">Source</h3>
+<h3 id="source-80">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-89">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-87">Crosslinks</h3>
+<h3 id="crosslinks-86">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="pop">pop</h2>
@@ -1906,13 +1910,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-89">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-84">Derivation</h3>
+<h3 id="derivation-82">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-84">Source</h3>
+<h3 id="source-81">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-90">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-88">Crosslinks</h3>
+<h3 id="crosslinks-87">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="popd">popd</h2>
@@ -1921,13 +1925,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-90">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-85">Derivation</h3>
+<h3 id="derivation-83">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-85">Source</h3>
+<h3 id="source-82">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-91">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-89">Crosslinks</h3>
+<h3 id="crosslinks-88">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="popdd">popdd</h2>
@@ -1936,13 +1940,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-91">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-86">Derivation</h3>
+<h3 id="derivation-84">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-86">Source</h3>
+<h3 id="source-83">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-92">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-90">Crosslinks</h3>
+<h3 id="crosslinks-89">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="popop">popop</h2>
@@ -1951,13 +1955,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-92">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-87">Derivation</h3>
+<h3 id="derivation-85">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-87">Source</h3>
+<h3 id="source-84">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-93">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-91">Crosslinks</h3>
+<h3 id="crosslinks-90">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="popopd">popopd</h2>
@@ -1966,13 +1970,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-93">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-88">Derivation</h3>
+<h3 id="derivation-86">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-88">Source</h3>
+<h3 id="source-85">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-94">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-92">Crosslinks</h3>
+<h3 id="crosslinks-91">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="popopdd">popopdd</h2>
@@ -1981,13 +1985,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-94">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-89">Derivation</h3>
+<h3 id="derivation-87">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-89">Source</h3>
+<h3 id="source-86">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-95">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-93">Crosslinks</h3>
+<h3 id="crosslinks-92">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="popopop">popopop</h2>
@@ -1996,13 +2000,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-95">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-90">Derivation</h3>
+<h3 id="derivation-88">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-90">Source</h3>
+<h3 id="source-87">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-96">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-94">Crosslinks</h3>
+<h3 id="crosslinks-93">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="pow">pow</h2>
@@ -2011,13 +2015,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-96">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-91">Derivation</h3>
+<h3 id="derivation-89">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-91">Source</h3>
+<h3 id="source-88">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-97">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-95">Crosslinks</h3>
+<h3 id="crosslinks-94">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="pred">pred</h2>
@@ -2026,13 +2030,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-97">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-92">Derivation</h3>
+<h3 id="derivation-90">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-92">Source</h3>
+<h3 id="source-89">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-98">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-96">Crosslinks</h3>
+<h3 id="crosslinks-95">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="primrec">primrec</h2>
@@ -2053,13 +2057,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-98">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-93">Derivation</h3>
+<h3 id="derivation-91">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-93">Source</h3>
+<h3 id="source-90">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-99">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-97">Crosslinks</h3>
+<h3 id="crosslinks-96">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="product">product</h2>
@@ -2068,13 +2072,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-99">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-94">Derivation</h3>
+<h3 id="derivation-92">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-94">Source</h3>
+<h3 id="source-91">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-100">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-98">Crosslinks</h3>
+<h3 id="crosslinks-97">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="quoted">quoted</h2>
@@ -2083,13 +2087,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-100">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-95">Derivation</h3>
+<h3 id="derivation-93">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-95">Source</h3>
+<h3 id="source-92">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-101">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-99">Crosslinks</h3>
+<h3 id="crosslinks-98">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="range">range</h2>
@@ -2098,13 +2102,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-101">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-96">Derivation</h3>
+<h3 id="derivation-94">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-96">Source</h3>
+<h3 id="source-93">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-102">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-100">Crosslinks</h3>
+<h3 id="crosslinks-99">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="range_to_zero">range_to_zero</h2>
@@ -2113,13 +2117,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-102">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-97">Derivation</h3>
+<h3 id="derivation-95">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-97">Source</h3>
+<h3 id="source-94">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-103">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-101">Crosslinks</h3>
+<h3 id="crosslinks-100">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="reco">reco</h2>
@@ -2128,13 +2132,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-103">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-98">Derivation</h3>
+<h3 id="derivation-96">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-98">Source</h3>
+<h3 id="source-95">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-104">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-102">Crosslinks</h3>
+<h3 id="crosslinks-101">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="rem">rem</h2>
@@ -2152,13 +2156,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-104">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-99">Derivation</h3>
+<h3 id="derivation-97">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-99">Source</h3>
+<h3 id="source-96">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-105">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-103">Crosslinks</h3>
+<h3 id="crosslinks-102">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="rest">rest</h2>
@@ -2167,13 +2171,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-105">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-100">Derivation</h3>
+<h3 id="derivation-98">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-100">Source</h3>
+<h3 id="source-97">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-106">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-104">Crosslinks</h3>
+<h3 id="crosslinks-103">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="reverse">reverse</h2>
@@ -2183,13 +2187,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-106">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-101">Derivation</h3>
+<h3 id="derivation-99">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-101">Source</h3>
+<h3 id="source-98">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-107">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-105">Crosslinks</h3>
+<h3 id="crosslinks-104">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="rolldown">rolldown</h2>
@@ -2198,13 +2202,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-107">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-102">Derivation</h3>
+<h3 id="derivation-100">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-102">Source</h3>
+<h3 id="source-99">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-108">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-106">Crosslinks</h3>
+<h3 id="crosslinks-105">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="rollup">rollup</h2>
@@ -2213,13 +2217,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-108">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-103">Derivation</h3>
+<h3 id="derivation-101">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-103">Source</h3>
+<h3 id="source-100">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-109">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-107">Crosslinks</h3>
+<h3 id="crosslinks-106">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="roll">roll&gt;</h2>
@@ -2235,13 +2239,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-109">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-104">Derivation</h3>
+<h3 id="derivation-102">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-104">Source</h3>
+<h3 id="source-101">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-110">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-108">Crosslinks</h3>
+<h3 id="crosslinks-107">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="rrest">rrest</h2>
@@ -2250,13 +2254,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-110">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-105">Derivation</h3>
+<h3 id="derivation-103">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-105">Source</h3>
+<h3 id="source-102">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-111">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-109">Crosslinks</h3>
+<h3 id="crosslinks-108">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="rshift">rshift</h2>
@@ -2265,13 +2269,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-111">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-106">Derivation</h3>
+<h3 id="derivation-104">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-106">Source</h3>
+<h3 id="source-103">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-112">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-110">Crosslinks</h3>
+<h3 id="crosslinks-109">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="run">run</h2>
@@ -2280,13 +2284,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-112">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-107">Derivation</h3>
+<h3 id="derivation-105">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-107">Source</h3>
+<h3 id="source-104">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-113">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-111">Crosslinks</h3>
+<h3 id="crosslinks-110">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="second">second</h2>
@@ -2295,13 +2299,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-113">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-108">Derivation</h3>
+<h3 id="derivation-106">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-108">Source</h3>
+<h3 id="source-105">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-114">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-112">Crosslinks</h3>
+<h3 id="crosslinks-111">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="select">select</h2>
@@ -2319,13 +2323,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-114">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-109">Derivation</h3>
+<h3 id="derivation-107">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-109">Source</h3>
+<h3 id="source-106">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-115">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-113">Crosslinks</h3>
+<h3 id="crosslinks-112">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="sharing">sharing</h2>
@@ -2334,13 +2338,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-115">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-110">Derivation</h3>
+<h3 id="derivation-108">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-110">Source</h3>
+<h3 id="source-107">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-116">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-114">Crosslinks</h3>
+<h3 id="crosslinks-113">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="shift">shift</h2>
@@ -2349,13 +2353,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-116">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-111">Derivation</h3>
+<h3 id="derivation-109">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-111">Source</h3>
+<h3 id="source-108">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-117">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-115">Crosslinks</h3>
+<h3 id="crosslinks-114">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="shunt">shunt</h2>
@@ -2369,13 +2373,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-117">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-112">Derivation</h3>
+<h3 id="derivation-110">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-112">Source</h3>
+<h3 id="source-109">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-118">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-116">Crosslinks</h3>
+<h3 id="crosslinks-115">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="size">size</h2>
@@ -2384,13 +2388,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-118">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-113">Derivation</h3>
+<h3 id="derivation-111">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-113">Source</h3>
+<h3 id="source-110">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-119">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-117">Crosslinks</h3>
+<h3 id="crosslinks-116">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="sort">sort</h2>
@@ -2399,13 +2403,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-119">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-114">Derivation</h3>
+<h3 id="derivation-112">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-114">Source</h3>
+<h3 id="source-111">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-120">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-118">Crosslinks</h3>
+<h3 id="crosslinks-117">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="spiral_next">spiral_next</h2>
@@ -2414,13 +2418,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-120">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-115">Derivation</h3>
+<h3 id="derivation-113">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-115">Source</h3>
+<h3 id="source-112">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-121">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-119">Crosslinks</h3>
+<h3 id="crosslinks-118">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="split_at">split_at</h2>
@@ -2429,13 +2433,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-121">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-116">Derivation</h3>
+<h3 id="derivation-114">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-116">Source</h3>
+<h3 id="source-113">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-122">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-120">Crosslinks</h3>
+<h3 id="crosslinks-119">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="split_list">split_list</h2>
@@ -2444,13 +2448,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-122">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-117">Derivation</h3>
+<h3 id="derivation-115">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-117">Source</h3>
+<h3 id="source-114">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-123">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-121">Crosslinks</h3>
+<h3 id="crosslinks-120">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="sqr">sqr</h2>
@@ -2459,13 +2463,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-123">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-118">Derivation</h3>
+<h3 id="derivation-116">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-118">Source</h3>
+<h3 id="source-115">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-124">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-122">Crosslinks</h3>
+<h3 id="crosslinks-121">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="sqrt">sqrt</h2>
@@ -2474,13 +2478,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-124">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-119">Derivation</h3>
+<h3 id="derivation-117">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-119">Source</h3>
+<h3 id="source-116">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-125">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-123">Crosslinks</h3>
+<h3 id="crosslinks-122">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="stack">stack</h2>
@@ -2489,13 +2493,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-125">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-120">Derivation</h3>
+<h3 id="derivation-118">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-120">Source</h3>
+<h3 id="source-117">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-126">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-124">Crosslinks</h3>
+<h3 id="crosslinks-123">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="stackd">stackd</h2>
@@ -2504,13 +2508,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-126">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-121">Derivation</h3>
+<h3 id="derivation-119">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-121">Source</h3>
+<h3 id="source-118">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-127">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-125">Crosslinks</h3>
+<h3 id="crosslinks-124">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="step">step</h2>
@@ -2533,13 +2537,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-127">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-122">Derivation</h3>
+<h3 id="derivation-120">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-122">Source</h3>
+<h3 id="source-119">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-128">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-126">Crosslinks</h3>
+<h3 id="crosslinks-125">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="step_zero">step_zero</h2>
@@ -2548,13 +2552,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-128">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-123">Derivation</h3>
+<h3 id="derivation-121">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-123">Source</h3>
+<h3 id="source-120">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-129">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-127">Crosslinks</h3>
+<h3 id="crosslinks-126">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="stuncons">stuncons</h2>
@@ -2563,13 +2567,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-129">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-124">Derivation</h3>
+<h3 id="derivation-122">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-124">Source</h3>
+<h3 id="source-121">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-130">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-128">Crosslinks</h3>
+<h3 id="crosslinks-127">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="stununcons">stununcons</h2>
@@ -2578,13 +2582,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-130">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-125">Derivation</h3>
+<h3 id="derivation-123">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-125">Source</h3>
+<h3 id="source-122">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-131">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-129">Crosslinks</h3>
+<h3 id="crosslinks-128">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="sub">sub</h2>
@@ -2593,13 +2597,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-131">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-126">Derivation</h3>
+<h3 id="derivation-124">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-126">Source</h3>
+<h3 id="source-123">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-132">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-130">Crosslinks</h3>
+<h3 id="crosslinks-129">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="succ">succ</h2>
@@ -2608,13 +2612,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-132">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-127">Derivation</h3>
+<h3 id="derivation-125">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-127">Source</h3>
+<h3 id="source-124">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-133">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-131">Crosslinks</h3>
+<h3 id="crosslinks-130">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="sum">sum</h2>
@@ -2624,13 +2628,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-133">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-128">Derivation</h3>
+<h3 id="derivation-126">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-128">Source</h3>
+<h3 id="source-125">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-134">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-132">Crosslinks</h3>
+<h3 id="crosslinks-131">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="swaack">swaack</h2>
@@ -2639,13 +2643,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-134">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-129">Derivation</h3>
+<h3 id="derivation-127">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-129">Source</h3>
+<h3 id="source-126">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-135">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-133">Crosslinks</h3>
+<h3 id="crosslinks-132">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="swap">swap</h2>
@@ -2654,13 +2658,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-135">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-130">Derivation</h3>
+<h3 id="derivation-128">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-130">Source</h3>
+<h3 id="source-127">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-136">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-134">Crosslinks</h3>
+<h3 id="crosslinks-133">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="swapd">swapd</h2>
@@ -2669,13 +2673,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-136">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-131">Derivation</h3>
+<h3 id="derivation-129">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-131">Source</h3>
+<h3 id="source-128">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-137">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-135">Crosslinks</h3>
+<h3 id="crosslinks-134">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="swoncat">swoncat</h2>
@@ -2684,13 +2688,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-137">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-132">Derivation</h3>
+<h3 id="derivation-130">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-132">Source</h3>
+<h3 id="source-129">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-138">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-136">Crosslinks</h3>
+<h3 id="crosslinks-135">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="swons">swons</h2>
@@ -2699,13 +2703,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-138">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-133">Derivation</h3>
+<h3 id="derivation-131">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-133">Source</h3>
+<h3 id="source-130">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-139">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-137">Crosslinks</h3>
+<h3 id="crosslinks-136">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="tailrec">tailrec</h2>
@@ -2714,13 +2718,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-139">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-134">Derivation</h3>
+<h3 id="derivation-132">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-134">Source</h3>
+<h3 id="source-131">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-140">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-138">Crosslinks</h3>
+<h3 id="crosslinks-137">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="take">take</h2>
@@ -2732,13 +2736,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-140">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-135">Derivation</h3>
+<h3 id="derivation-133">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-135">Source</h3>
+<h3 id="source-132">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-141">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-139">Crosslinks</h3>
+<h3 id="crosslinks-138">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="ternary">ternary</h2>
@@ -2751,7 +2755,7 @@ a+b a-b</code></pre>
 <pre><code>binary popd</code></pre>
 <h3 id="discussion-142">Discussion</h3>
 <p>Runs any other quoted function and returns its first result while consuming exactly three items from the stack.</p>
-<h3 id="crosslinks-140">Crosslinks</h3>
+<h3 id="crosslinks-139">Crosslinks</h3>
 <p><a href="#binary">binary</a> <a href="#nullary">nullary</a> <a href="#unary">unary</a></p>
 <hr />
 <h2 id="third">third</h2>
@@ -2760,13 +2764,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-142">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-136">Derivation</h3>
+<h3 id="derivation-134">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-136">Source</h3>
+<h3 id="source-133">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-143">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-141">Crosslinks</h3>
+<h3 id="crosslinks-140">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="times">times</h2>
@@ -2788,13 +2792,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-143">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-137">Derivation</h3>
+<h3 id="derivation-135">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-137">Source</h3>
+<h3 id="source-134">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-144">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-142">Crosslinks</h3>
+<h3 id="crosslinks-141">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="truthy">truthy</h2>
@@ -2806,13 +2810,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-144">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-138">Derivation</h3>
+<h3 id="derivation-136">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-138">Source</h3>
+<h3 id="source-135">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-145">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-143">Crosslinks</h3>
+<h3 id="crosslinks-142">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="unary">unary</h2>
@@ -2825,7 +2829,7 @@ a+b a-b</code></pre>
 <pre><code>nullary popd</code></pre>
 <h3 id="discussion-146">Discussion</h3>
 <p>Runs any other quoted function and returns its first result while consuming exactly one item from the stack.</p>
-<h3 id="crosslinks-144">Crosslinks</h3>
+<h3 id="crosslinks-143">Crosslinks</h3>
 <p><a href="#binary">binary</a> <a href="#nullary">nullary</a> <a href="#ternary">ternary</a></p>
 <hr />
 <h2 id="uncons">uncons</h2>
@@ -2834,11 +2838,11 @@ a+b a-b</code></pre>
 <pre><code>   [A ...] uncons
 --------------------
       A [...]</code></pre>
-<h3 id="source-139">Source</h3>
+<h3 id="source-136">Source</h3>
 <pre><code>func(uncons, Si, So) :- func(cons, So, Si).</code></pre>
 <h3 id="discussion-147">Discussion</h3>
 <p>This is the inverse of <code>cons</code>.</p>
-<h3 id="crosslinks-145">Crosslinks</h3>
+<h3 id="crosslinks-144">Crosslinks</h3>
 <p><a href="#cons">cons</a></p>
 <hr />
 <h2 id="unique">unique</h2>
@@ -2847,13 +2851,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-146">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-139">Derivation</h3>
+<h3 id="derivation-137">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-140">Source</h3>
+<h3 id="source-137">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-148">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-146">Crosslinks</h3>
+<h3 id="crosslinks-145">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="unit">unit</h2>
@@ -2862,13 +2866,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-147">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-140">Derivation</h3>
+<h3 id="derivation-138">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-141">Source</h3>
+<h3 id="source-138">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-149">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-147">Crosslinks</h3>
+<h3 id="crosslinks-146">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="unquoted">unquoted</h2>
@@ -2877,13 +2881,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-148">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-141">Derivation</h3>
+<h3 id="derivation-139">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-142">Source</h3>
+<h3 id="source-139">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-150">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-148">Crosslinks</h3>
+<h3 id="crosslinks-147">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="unswons">unswons</h2>
@@ -2892,13 +2896,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-149">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-142">Derivation</h3>
+<h3 id="derivation-140">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-143">Source</h3>
+<h3 id="source-140">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-151">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-149">Crosslinks</h3>
+<h3 id="crosslinks-148">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="void">void</h2>
@@ -2907,13 +2911,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-150">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-143">Derivation</h3>
+<h3 id="derivation-141">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-144">Source</h3>
+<h3 id="source-141">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-152">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-150">Crosslinks</h3>
+<h3 id="crosslinks-149">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="warranty">warranty</h2>
@@ -2922,13 +2926,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-151">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-144">Derivation</h3>
+<h3 id="derivation-142">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-145">Source</h3>
+<h3 id="source-142">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-153">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-151">Crosslinks</h3>
+<h3 id="crosslinks-150">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="while">while</h2>
@@ -2937,13 +2941,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-152">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-145">Derivation</h3>
+<h3 id="derivation-143">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-146">Source</h3>
+<h3 id="source-143">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-154">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-152">Crosslinks</h3>
+<h3 id="crosslinks-151">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="words">words</h2>
@@ -2952,13 +2956,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-153">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-146">Derivation</h3>
+<h3 id="derivation-144">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-147">Source</h3>
+<h3 id="source-144">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-155">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-153">Crosslinks</h3>
+<h3 id="crosslinks-152">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="x">x</h2>
@@ -2977,13 +2981,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-155">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-147">Derivation</h3>
+<h3 id="derivation-145">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-148">Source</h3>
+<h3 id="source-145">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-157">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-154">Crosslinks</h3>
+<h3 id="crosslinks-153">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 <hr />
 <h2 id="zip">zip</h2>
@@ -2992,13 +2996,13 @@ a+b a-b</code></pre>
 <p>Gentzen diagram.</p>
 <h3 id="definition-156">Definition</h3>
 <p>if not basis.</p>
-<h3 id="derivation-148">Derivation</h3>
+<h3 id="derivation-146">Derivation</h3>
 <p>if not basis.</p>
-<h3 id="source-149">Source</h3>
+<h3 id="source-146">Source</h3>
 <p>if basis</p>
 <h3 id="discussion-158">Discussion</h3>
 <p>Lorem ipsum.</p>
-<h3 id="crosslinks-155">Crosslinks</h3>
+<h3 id="crosslinks-154">Crosslinks</h3>
 <p>Lorem ipsum.</p>
 </body>
 </html>
diff --git a/docs/reference/mkref/Functor-Reference.md b/docs/reference/mkref/Functor-Reference.md
index af05519..1dad804 100644
--- a/docs/reference/mkref/Functor-Reference.md
+++ b/docs/reference/mkref/Functor-Reference.md
@@ -15,31 +15,43 @@ See [and](#and).
 
 ## &&
 
-Basis Function Combinator
+Combinator
 
-nulco \[nullary \[false\]\] dip branch
+Short-circuiting Boolean AND
+
+Accept two quoted programs, run the first and expect a Boolean value, if
+it's `true` pop it and run the second program (which should also return a
+Boolean value) otherwise pop the second program (leaving `false` on the
+stack.)
+
+
+       [A] [B] &&
+    ---------------- true
+            B
+
+
+       [A] [B] &&
+    ---------------- false
+         false
 
-Gentzen diagram.
 
 ### Definition
 
-if not basis.
+    nulco [nullary [false]] dip branch
 
 ### Derivation
 
-if not basis.
-
-### Source
-
-if basis
+TODO: this is derived in one of the notebooks I think, look it up and
+link to it, or copy the content here.
 
 ### Discussion
 
-Lorem ipsum.
+This is seldom useful, I suspect, but this way you have it.
 
 ### Crosslinks
 
-Lorem ipsum.
+[||](#section-25)
+
 
 --------------
 
@@ -80,31 +92,30 @@ See [ne](#ne).
 
 ## !-
 
-Basis Function Combinator
+Function
 
-0 \>=
+Not negative.
+
+
+        n !-
+    ----------- n < 0
+       false
+
+
+       n !-
+    ---------- n >= 0
+       true
 
-Gentzen diagram.
 
 ### Definition
 
-if not basis.
-
-### Derivation
-
-if not basis.
-
-### Source
-
-if basis
+    0 \>=
 
 ### Discussion
 
-Lorem ipsum.
+Return a Boolean value indicating if a number is greater than or equal to
+zero.
 
-### Crosslinks
-
-Lorem ipsum.
 
 --------------
 
@@ -166,23 +177,17 @@ See [ne](#ne).
 
 ## \<{}
 
-Basis Function Combinator
+Function
 
-\[\] swap
 
-Gentzen diagram.
+       ... a \<{}
+    ----------------
+       ... [] a
+
 
 ### Definition
 
-if not basis.
-
-### Derivation
-
-if not basis.
-
-### Source
-
-if basis
+    \[\] swap
 
 ### Discussion