misc changes

trying another approach to subsumption, not working