Intensional_logic loading ...