Email Record: ACM transactions on computation theory.