backward induction, bar recursion, Nash equilibrium, selection functions, subgame optimal equilibrium.