This is implied by the symbolic dependencies.