adding new interpretations of rules and theorems: Mode Simple.