2007. Kripke, Pierre and Constantinescu. The Reasoner. 1, 5 (Sep. 2007).