Eliminate implication