Leading Example Clause Samples

Leading Example. Nondeterministic Computation and Join- (or Meet-) Preservation 2.1 “May”-Nondeterminism