implication in false case