 Three summary - we have now made a number of interesting assertions on our new constants<tt><span style="font-size: xx-small;">#$Billy</span></tt> and <tt><span style="font-size: xx-small;">#$Peter</span></tt> . Maybe you can think of a few more....(For instance, they are both males, surprise surprise!) We also made a new microtheory, #$Cats-PracticeMt, that can "see" all necessary microtheories and will be used to hold all of the knowledge that we assert about Billy and Peter.</p>
 </div></div></div>  