Email Record: Theory of computation /