some mutual induction