Rewording subsumption.