preinvolve
not defined yet