subsume
not defined yet