#9 testing add repeat induction (#9)