(U-0002458D): Use `->subsumptive'.