A necessary and sufficient epistemic condition for playing backward induction

In an epistemic framework due to Aumann we characterize the condition on the rationality of the players that is both necessary and sufficient to imply backward induction in perfect information games in agent form, This condition requires each player to know that the players are rational at later, but not at previous, decision nodes.