added a further comment about constrained non determinism