Email Record: Theory of computation :