2007. Translating Kripke’s Pierre. The Reasoner. 1, 7 (Dec. 2007).