Finished reviewing constrained non-determinism chapter and now it is part of the official part of the book