In addition, the story hints at problems with the propositional solution. Within the system of propositional logic, no proposition or variable carries any semantic content. The moment any proposition or variable takes on semantic content, the problem arises again because semantic content runs outside the system. Thus, if the solution is to be said to work, then it is to be said to work solely within the given formal system, and not otherwise.
In addition, the story hints at problems with the propositional solution. Within the system of propositional logic, no proposition or variable carries any semantic content. The moment any proposition or variable takes on semantic content, the problem arises again because semantic content runs outside the system. Thus, if the solution is to be said to work, then it is to be said to work solely within the given formal system, and not otherwise.