implication assertions