wgatens/subsumption archive