Linear_logic loading ...