/pre>

<p>When a rule consumes a specific token during the application, we'll call this token the <b>reagent</b>. When a rule utilizes a specific token that survives the rewrite, we'll call it the <b>catalyst</b>. </p>

<pre>
dup a   -> a a  <i>dup is a reagent</i>
sub a b -> sub  <i>sub is a catalyst</i>
</pre>

<h3>Bestiary</h3>

<table border='1'>
	<tr><th colspan='2'>Reducers</th></tr>
	<tr><th>erase</th><td><pre>a -></pre></td></tr>
	<tr><th>subtract</th><td><pre>a b -></pre></td></tr>
	<tr><th>join</t