Email Record: Substructural logics /