Logical rules

Logical rules