add strong induction, required by the proof of transposition