add implication and equivalence