direct implication