1 Donnons un exemple frégéen (pour simplifier): comment affirmer, si on ne dispose pas de variables universelles, que tout est soit objet, soit fonction? On ne le peut. En ce sens, toute logique typée, c'est-à-dire à plusieurs sortes de variables (primitives), s'autoréfute, ce dont Russell était conscient, comme le montre l'auteur(p. 151–152).

2 Par ailleurs, la notion même de remplacement d'une entité par une autre dans une proposition n'a de sens, comme le montre l'auteur, que dans un univers hyperintensionnel. Le mystère cité concerne done moins l'nterprétation attendue de TSS que la «force déductive» de l'axiomatisation formelle en jeu.