inductions

not defined yet