new subsumption lib + tests