formal implication