Backward k-induction by default.