(U-000245EF): Use `->subsumptive'.