Title: Termination of nondeterministic programs