 Describing the limit of a dynamic process with a static property, this equivalence exemplifies a family of characterization theorems that play a crucial role within the logical analysis of games. Other dynamic perspectives can be analyzed in a similar logical style (Liu 2011).