initial implementation of subsumption