Saul Kripke
 
x
OK