Stricter definition of what a rule is