"""Shared game infrastructure: game definitions, strategies, and extensions."""