Email Record: Computability theory /