"Kripke..."