 At the thicker end, models for games have lush worlds encoding players’ preferences, information, beliefs, and perhaps even their complete types, including memory and reasoning capacities. Typical models of this kind are found in Stalnaker (1998) and Halpern (2001). When applied to extensive games rather than strategic-form games, thick models can anticipate anything that can happen in one large temporal universe, allowing to derive a full prediction about how play will proceed.