* Adding missing equivalence axioms. Addresses issue #382