Half through review of the constrained non-determinism chapter