(C5-6A61): Use `->subsumptive'; integrate U-00029677.