Add or2 using aux binary function
Add equivalence
Correct equivalence doc
Make 'imp' less readable :)
Swap or/or2