Add interactive induction (mostly untested)