Start of some structural subsumption work.