reinduction

not defined yet