Kripke's puzzle about belief shows that substituting co-referential names within belief contexts pro...