(JX3-465B): Unify KU+9041 and MJ026013; use `->subsumptive' to add