yeah, it's like np problems. Nobody needs to talk about the travellingn salesman, and it's harmful to even say it's an no problem, since we already have SAT solvers, and that's all we need to understand that np problems are hard to solve.