inductional

not defined yet