don't care nondeterminism