subsumes

not defined yet