User blog comment:LittlePeng9/Random Turing machines/@comment-5029411-20131017003248/@comment-1605058-20131017045256

I'm planning to do w+1 labels first. Does your hydra even have a definition? I couldn't find it.