Get induction working on conv hypotheses