noninductive

not defined yet