subsumptions