Add or2 using aux binary function
Add equivalence