Intuitionistic_modal_logic loading ...