Preferences, observation limits, and player identities are formally representable as components of t...