(U-00023601): Use `->subsumptive'.