add Substitution