gadgets_api
player_monoids
