Text this: Two-level control structure for nondeterministic programming.