Adding a Kripke proof.