  It is shown that determinacy of $F_\sigma$ games of length $\omega^2$ is
equivalent to the existence of a transitive model of KP + AD which contains the
reals and reflects $\Pi_1$ facts about the next admissible set.
