But if that exists as the solution, then saying the solution doesn't exist would be inconsistent right?
Also, I understand that other rules could be created, but I think this basic interpretation is the most interesting because of what it allows the solution to be.