mutual entailment formula

mutual entailment formula