kripke_1.pdf