Result of ⊓--rule

Branch: 1

Clash. Go to branch 2