Backward induction is an iterative procedure for resolving finite general form or sequential games. First, one decides the finest policy of the player who makes the last move of the game. Then, the optimal action of the next-to-last moving player is determined taking the last player's action as given. The procedure persists in this way backwards in time until all players' actions have been determined. Effectively, one determines the Nash equilibrium of each sub game of the original game.