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