enjoyed it Corey! Eagerly awaiting the "positive" part. Btw did I ever ask you if you've looked into "computation over the reals"? Stuff that Stephen Smale was developing in the 1990s. I had a friend who went to do his PhD with him on that but I think the work fizzled.