User blog comment:Edwin Shade/Turing Machines and a Problem by Vel! Posed Half a Decade Ago/@comment-1605058-20171010173654/@comment-1605058-20180120202836

Yes, it is.