resubsumption