Fix IntInduction