in9-backward-induction

Apply IN9 Backward Induction to begin with desired end state and work backward to determine necessary steps.