rulename rule
What is a rule btw? I'm not sure what it means at this point
<semantic satiation rule>
<sigma explanation rule>
<34>
