I would reuse the same wording as in `promote_joins` it's more clear IMO:

"demote a->b automatically, or otherwise the demotion of b->c doesn't actually change anything in the query results."