User blog comment:LittlePeng9/Color reducing for Turing machines/@comment-5529393-20130413054452/@comment-5529393-20130413071703

crap, you're right. Never mind.