What is Mutual induction in detail?
What is mutual induction?