induct
not defined yet