Polynomial Time Reduction In Toc