The token approach is inherently flawed because the tokens pre-suppose unique meaning when in fact they may not be unique.
Said another way, it lacks properties that would be able to differentiate true from false because the differentiating input isn't included and cannot be derived from the inputs given. This goes to decidability.