back to implication