.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
<ul>
<li><strong><a name="04524" href="msg04524.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
<ul>
<li><strong><a name="04525" href="msg04525.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
</li>
<li><strong><a name="04526" href="msg04526.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
</li>
<li>