mutual implication