Tag: the U+ R HSM is dominated