ParaInductive