Backward induction (source code)

= Backward induction
{wiki}

Backward induction proves or computes a finite sequence of statements by starting at its terminal index and stepping toward the initial index.