* implemented equivalence and implication.