@nojo: Their central idea about what is true failed when tested by its own terms. Oops!