Since M is sensible, its associated unweighted XTOP R N , which is obtained by setting all weights to 1 and computing in the BOOLEAN semiring, is sensible.
n is finitely copying by Theorem 7.1 of Engelfriet and Maneth (2003).