No repeat in substitution