Translating Kripke’s Pierre. tr 2007, 1 (7).