rulename rule
What is a rule btw? I'm not sure what it means at this point
You're viewing a single thread.
<semantic satiation rule>
<sigma explanation rule>
