" button.</span></p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;">Now that you are familiar with one method of dealing with microtheories, you can either move on to Step Four to test what you've entered, or, if you would like a more detailed explanation of how to use microtheories and where to place assertions in the microtheory hierarchy, then read the considerably longer version of this walkthrough.</p>
<p style="font-family: Arial, sans-serif; font-size: 16px;">Step