Finished first pass over constrained non-determinism chapter