Substructural_logic loading ...