Extended Proper Equilibrium (with Joshua Mollner), forthcoming in Journal of Economic Theory.