Stateful Nondeterminism