[ineedasername]

it is kind of bad that the grammar isn't actually creating a solvable system

But that was precisely the point. That given a system with a set of rules, the space of all possible problems may be larger than the space of all solutions, i.e., not all problems have a solution.

To say it's useful to be able to determine if a problem is solvable is a vast understatement.