->
run and show nondeterminism
->
t
o