Kripke, Pierre and Constantinescu. tr 2007, 1 (5).