Hintikka_set loading ...