subsumes