User blog comment:LittlePeng9/Binary relations via Turing machines/@comment-5150073-20131009210744/@comment-1605058-20131010050833

Yes, I also believe so.