_mover
PokerState
_outcome
PokerState
∀
axle
∃
axle
√
axle