more rippling, now still need to fix the problem of how to get premix from a induction subgoal