What is mutual induction?