It's a very fundamental, problem that is just, about, logical reasoning about what's going on, in, in some complex system. now the question is, so it's a search problem. we know that and what that means is that if we have a solution, we can efficiently check that we have a solution But the question is, is it in P? 