mutual induction boilerplate