Change according to the disjoin_tags function