 While most notions of invariance discussed so far related to extensive form games, a similar style of analysis applies to games in strategic form. Van Benthem, Pacuit, and Roy (2011) define modal bisimulations that connect outcome states of different matrices, and apply bisimulation’s back-and-forth conditions to the relevant relations of players’ choice, freedom, and preference.