4.3 Variations on a Scheme -- Nondeterministic Computing