Simplify implication