Email Record: Substructural logics :