ut <code>(not P)</code>.
</p><h3><a name="FOOT6" href="manual_3.html#DOCF6">(6)</a></h3>
<p>Actually, PowerLoom
isn&rsquo;t quite as strict as just stated&ndash;its search for an identical
proposition can accomodate changes in the names of variables.
</p><h3><a name="FOOT7" href="manual_3.html#DOCF7">(7)</a></h3>
<p>The order of solutions will not necessarily be the same as
shown here.
</p><h3><a name="FOOT8" href="manual_4.html#DOCF8">(8)</a></h3>
<p>If you are executing
within a case sensitive module, the