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