subsumption

not defined yet