continuation of cleaning up the model description
get rid of primed notation
write up algorithm for computing the volumes of the marginal and local polytopes