experiment with substructural logic