Kripke_semantics loading ...