Add nondeterminism