One of our FOM editors has pointed out that when Chow and Eskew each refer to "a Turing machine that halts if and only if something is consistent" they surely mean one that halts if and only if that something is *inconsistent*. Martin Davis Professor Emeritus, Courant-NYU Visiting Scholar, UC Berkeley eipye + 1 = 0