Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg RosenblattDecember 2016