Email Record: Logical approaches to computational barriers :