Kripke's puzzle shows that Pierre's doxastic position generates contradiction even under substitutio...