Mutual induction

Report an error