User blog comment:LittlePeng9/Binary relations via Turing machines/@comment-25418284-20131004211047/@comment-5529393-20131005065247

It's definitely something that will require proof.