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