(U-0002666B): Use `->subsumptive'.