Added equivalence and implication expressions