Email Record: Formal theories of truth /