GK BackwardInduction