Hence, if Frege and Russell are right, we cannot use this example in the usual straightforward way to conclude that proper names are not substitutable in belief contexts even though the example, and the ensuing negative verdict on substitutivity, has often been thought to support Frege and Russell!