 This first spotlight section focuses on game structures in a narrow sense. Game forms leave aside agents and notions typical for these, such as preferences or information. Players, as well as the temporal progression of play will be added in later sections. Even so, there is already a good deal of structure in game forms to be studied by logical techniques.