It seems some don’t understand what nondeterministic means. Conversely do not understand what a deterministic harness can do.