noninductivity

not defined yet