Kripke_frame loading ...