Vanessa Kosoy comments on [missing post]

[Vanessa Kosoy]

$P\left(x_i\right)$ is a polytope with $P\left(x_i\right)\subseteq \Delta A$, corresponding to allowed action distributions at that state.

I think it’s mathematically cleaner to get rid of A and have those be abstract polytopes.

[OliverHayman]

Sounds good