add example to Nondeterminism