player_monoids
