added Kripke