Substitution in equations