Practice: Solving with Substitution