reinvolves
not defined yet