begin well founded induction attempt at dec