--- a/doc/html/using_pyke/index.html
+++ b/doc/html/using_pyke/index.html
@@ -79,15 +79,15 @@
 ...   os.path.join(os.path.dirname(os.path.dirname(os.getcwd())),
 ...                'examples') -->
 <p>The simplest use of Pyke involves three steps:</p>
-<ol class="arabic">
-<li><p class="first"><a class="reference external" href="creating_engine.html">Create an engine</a> object.</p>
+<p><a class="reference external" href="creating_engine.html">Create an engine</a> object.</p>
+<blockquote>
 <pre class="doctest-block">
 &gt;&gt;&gt; from pyke import knowledge_engine
 </pre>
 <pre class="doctest-block">
 &gt;&gt;&gt; my_engine = knowledge_engine.engine(__file__)
 </pre>
-<p>The step compiles the Pyke source files, if out of date, and loads the
+<p>This step compiles the Pyke source files, if out of date, and loads the
 <a class="reference external" href="../knowledge_bases/index.html">knowledge bases</a>.</p>
 <p>There are three kinds of Pyke source files:</p>
 <ol class="arabic simple">
@@ -98,99 +98,91 @@
 <li><a class="reference external" href="../pyke_syntax/kqb_syntax.html">.kqb files</a> define <a class="reference external" href="../knowledge_bases/question_bases.html">question bases</a>, which are compiled into .qbc
 pickle files.</li>
 </ol>
-</li>
-<li><p class="first">Activate <a class="reference external" href="../knowledge_bases/rule_bases.html">rule bases</a>.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.activate('bc_related')
-</pre>
-<p>You may chose one or more rule bases to activate.</p>
+<p>See <a class="reference external" href="creating_engine.html">Creating an Inference Engine</a> to control where the compiled files
+are written, load knowledge bases from multiple directories, distribute
+your application without your knowledge base files, or distribute using
+egg files.</p>
+</blockquote>
+<p>Activate <a class="reference external" href="../knowledge_bases/rule_bases.html">rule bases</a>.</p>
+<blockquote>
+<pre class="doctest-block">
+&gt;&gt;&gt; my_engine.activate('bc_related')
+</pre>
+<p>You may activate one rule base for each <a class="reference external" href="../knowledge_bases/rule_bases.html#rule-base-categories">rule base category</a>.  Simply
+pass multiple arguments to <tt class="docutils literal"><span class="pre">activate</span></tt>.</p>
 <div class="note">
 <p class="first admonition-title">Note</p>
 <p class="last">Even if you only have one rule base, you must still activate it.</p>
 </div>
 <p>This is when the <a class="reference external" href="../logic_programming/rules/forward_chaining.html">forward-chaining rules</a> are run.</p>
-</li>
-<li><p class="first"><a class="reference external" href="proving_goals.html">Prove</a> <a class="reference external" href="../logic_programming/rules/backward_chaining.html">goal</a>.</p>
+</blockquote>
+<p><a class="reference external" href="proving_goals.html">Prove</a> <a class="reference external" href="../logic_programming/rules/backward_chaining.html">goal</a>.</p>
+<blockquote>
 <pre class="doctest-block">
 &gt;&gt;&gt; my_engine.prove_1_goal('bc_related.father_son(bruce, $son, ())')
 ({'son': 'david'}, None)
 </pre>
 <p>The goal might be met by simply matching an already known <a class="reference external" href="../knowledge_bases/fact_bases.html#facts">fact</a>, or
 through the use of <a class="reference external" href="../logic_programming/rules/backward_chaining.html">backward-chaining rules</a>.</p>
-</li>
-</ol>
 <p>Then if you want to prove another goal, you can just repeat the last step.
 In this case, the <a class="reference external" href="../logic_programming/rules/forward_chaining.html">forward-chaining rules</a> are only run once and all goals
 operate against the same set of known facts.</p>
-<blockquote>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.prove_1_goal('bc_related.father_son(thomas, $son, ())')
-({'son': 'tim'}, None)
-</pre>
+<pre class="doctest-block">
+&gt;&gt;&gt; my_engine.prove_1_goal('bc_related.father_son(thomas, $grandson, (grand))')
+({'grandson': 'david'}, None)
+</pre>
+<p>See <a class="reference external" href="proving_goals.html">Proving Goals</a> to pass different arguments into goals, compile the
+goal statements once in advance, and to retrieve multiple answers for a
+goal.</p>
 </blockquote>
 </div>
 <div class="section" id="dynamically-asserting-facts">
 <h2>Dynamically Asserting Facts</h2>
-<p>To dynamically <a class="reference external" href="adding_facts.html">assert</a> <a class="reference external" href="../knowledge_bases/fact_bases.html#facts">facts</a> within your Python program, a new step is added:</p>
-<ol class="arabic">
-<li><p class="first">Create an <a class="reference external" href="creating_engine.html">engine</a> object.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; from pyke import knowledge_engine
-</pre>
+<p>To dynamically <a class="reference external" href="adding_facts.html">assert</a> <a class="reference external" href="../knowledge_bases/fact_bases.html#facts">facts</a> within your Python program, a new step is
+added:</p>
+<blockquote>
+<p>Create the engine object:</p>
 <pre class="doctest-block">
 &gt;&gt;&gt; my_engine = knowledge_engine.engine(__file__)
 </pre>
-</li>
-<li><p class="first"><a class="reference external" href="adding_facts.html">Assert</a> <a class="reference external" href="../knowledge_bases/fact_bases.html#facts">facts</a>.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.assert_('family2', 'son_of', ('spike', 'david'))
-</pre>
-<p>These facts must be asserted prior to activating the rule bases so that
-they are available to the <a class="reference external" href="../logic_programming/rules/forward_chaining.html">forward-chaining rules</a>.</p>
-</li>
-<li><p class="first">Activate <a class="reference external" href="../knowledge_bases/rule_bases.html">rule bases</a>.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.activate('bc_related')
-</pre>
-</li>
-<li><p class="first">Prove <a class="reference external" href="../logic_programming/rules/backward_chaining.html">goal</a>.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.prove_1_goal('bc_related.father_son(david, $son, ())')
-({'son': 'spike'}, None)
-</pre>
-</li>
-</ol>
+</blockquote>
+<p><a class="reference external" href="adding_facts.html">Assert</a> <a class="reference external" href="../knowledge_bases/fact_bases.html#facts">facts</a>.</p>
+<pre class="doctest-block">
+&gt;&gt;&gt; my_engine.assert_('family2', 'son_of', ('spike_the_dog', 'david'))
+</pre>
+<p>These facts must be asserted prior to activating the rule bases so that they
+are available to the <a class="reference external" href="../logic_programming/rules/forward_chaining.html">forward-chaining rules</a>.  This example shows asserting
+case specific facts that are deleted before running the next case (as shown
+in the next section, below).  But you can also assert universal facts that
+apply to all cases.  See <a class="reference external" href="adding_facts.html">Asserting New Facts</a> for more information.</p>
+<blockquote>
+<p>After asserting your facts, activate your rule bases and prove your goal
+as before:</p>
+<pre class="doctest-block">
+&gt;&gt;&gt; my_engine.activate('bc_related')
+&gt;&gt;&gt; my_engine.prove_1_goal('bc_related.father_son(bruce, $grandson, (grand))')
+({'grandson': 'spike_the_dog'}, None)
+</pre>
+</blockquote>
 </div>
 <div class="section" id="using-different-facts-for-different-cases">
 <h2>Using Different Facts for Different Cases</h2>
 <p>But if you want to prove goals against different sets of facts or using
 different rule bases, you need to <a class="reference external" href="index.html#using-different-facts-for-different-cases">reset</a> the Pyke engine:</p>
-<ol class="arabic">
-<li><p class="first">Create an <tt class="docutils literal"><span class="pre">engine</span></tt> object.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; from pyke import knowledge_engine
-</pre>
+<blockquote>
+<p>Only need this once:</p>
 <pre class="doctest-block">
 &gt;&gt;&gt; my_engine = knowledge_engine.engine(__file__)
 </pre>
-</li>
-<li><p class="first"><a class="reference external" href="adding_facts.html">Assert</a> <a class="reference external" href="../knowledge_bases/fact_bases.html#facts">facts</a> for first case.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.assert_('family2', 'son_of', ('spike', 'david'))
-</pre>
-</li>
-<li><p class="first">Activate <a class="reference external" href="../knowledge_bases/rule_bases.html">rule bases</a>.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.activate('bc_related')
-</pre>
-</li>
-<li><p class="first">Prove <a class="reference external" href="../logic_programming/rules/backward_chaining.html">goal</a> for first case.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.prove_1_goal('bc_related.father_son(david, $son, ())')
-({'son': 'spike'}, None)
-</pre>
-</li>
-<li><p class="first">Reset the Pyke engine.</p>
+<p>First case, as before:</p>
+<pre class="doctest-block">
+&gt;&gt;&gt; my_engine.assert_('family2', 'son_of', ('spike_the_dog', 'david'))
+&gt;&gt;&gt; my_engine.activate('bc_related')
+&gt;&gt;&gt; my_engine.prove_1_goal('bc_related.father_son(bruce, $grandson, (grand))')
+({'grandson': 'spike_the_dog'}, None)
+</pre>
+</blockquote>
+<p>Reset the Pyke engine.</p>
 <pre class="doctest-block">
 &gt;&gt;&gt; my_engine.reset()
 </pre>
@@ -198,24 +190,15 @@
 well as all of the facts asserted by the <a class="reference external" href="../logic_programming/rules/forward_chaining.html">forward-chaining rules</a>.</p>
 <p>It also deactivates all of the <a class="reference external" href="../knowledge_bases/rule_bases.html">rule bases</a>, so you'll need to call
 activate again after asserting your facts.</p>
-</li>
-<li><p class="first">Assert <a class="reference external" href="../knowledge_bases/fact_bases.html#facts">facts</a> for second case.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.assert_('family2', 'son_of', ('felix', 'david'))
-</pre>
-</li>
-<li><p class="first">Activate <a class="reference external" href="../knowledge_bases/rule_bases.html">rule bases</a>.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.activate('bc_related')
-</pre>
-</li>
-<li><p class="first">Prove <a class="reference external" href="../logic_programming/rules/backward_chaining.html">goal</a> for second case.</p>
-<pre class="doctest-block">
-&gt;&gt;&gt; my_engine.prove_1_goal('bc_related.father_son(david, $son, ())')
-({'son': 'felix'}, None)
-</pre>
-</li>
-</ol>
+<blockquote>
+<p>Second case:</p>
+<pre class="doctest-block">
+&gt;&gt;&gt; my_engine.assert_('family2', 'son_of', ('felix_the_cat', 'david'))
+&gt;&gt;&gt; my_engine.activate('bc_related')
+&gt;&gt;&gt; my_engine.prove_1_goal('bc_related.father_son(bruce, $grandson, (grand))')
+({'grandson': 'felix_the_cat'}, None)
+</pre>
+</blockquote>
 <!-- ADD_LINKS MARKER -->
 </div>
 </div>