IMPLICATION_BACKWARD