 This section has outlined a variety of ways for incorporating players and agency into game forms. These come in a hierarchy of richness, ranging from annotated game trees to epistemic forests, type spaces, or yet more abstract models of games.