Extended Proper Equilibrium, with Joshua Mollner. This version March 2021. (Forthcoming in Journal of Economic Theory.)