don't-care nondeterminism