preinduce

not defined yet