nondeterministic sandwich

self explanitory