looking into Tags.Disjunction.subst