[<<][sm][>>][..]
Sat Jan 11 17:11:56 CET 2020

Is select the same as non-deterministic choice?

Look this up.  I understand Select, but they might be different than
the other options.




[Reply][About]
[<<][sm][>>][..]