circuit is satisfiable in other words whether the circuit is computing a trivial function or this computing something interesting let's suppose I can do this in some nice way something just better than trying all possible inputs to the circuit and seeing what happens if you can set this kind of thing of it you can solve this kind of album design problem then you can say there is a function f compute with respect to certain Turing machines for which for all circuits they cannot compute this function for all circuits