Tag: inconsistency in algebraic substitution