Kripke, Pierre and Constantinescu (The Reasoner, 2007)