Practice: Solving by Eliminaton