Comment by maaku

But still very much solvable in the specific domains of real world applications.