Logical rules


Logical rules is a rule.