inductionally

not defined yet