Update inductionhypo