mutual entailment formula