Started working on constrained non determinism chapter