Modal_logic loading ...