efficiently tell us when a given circuit computes the all zeroes function so so given these two intuitions you can think of this problem in general as some kind of gain between ours and in circuits there's a circuit set problem that algorithms would like to solve and there are circuits that are you know inherently devious and try you know trying to fool any given algorithm and wired in some way to keep the algorithms from telling whether it's and when we can be exhaustive search we are winning the game the algorithm is winning the