nondet
