Translating Kripke’s Pierre