/p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;">The page that comes up after you click on the [Change Options] button should say "KB Browser Options have been modified". Now, whenever you use the Assert tool, <tt><span style="font-size: xx-small;">#$Cats-PracticeMt</span></tt> will be the default microtheory.</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;">Let's start making some assertions about Billy and Peter. We'll start by 