On Fri, Jun 26, 2009 at 01:15:59AM -0700, Ask Bj?rn Hansen wrote: >Actually, per the FAQ it looks like they won't have to even be able to >run the program on their systems. "...it works on my infinite Turing machine; implementation on bounded hardware is merely an engineering problem." R