Solving by Substitution