subsumes
not defined yet