About Machines and proovability. In regards to that issue I came up with this idea: Lets specify or select an arbitrary machine that can have any simple design we choose. It would be a scientist's only machine that could be used to reliably test software concepts in a streight forward if not simple way. :) -- The anemony of my enemy is my friend. atc.peon.net/~cyborg/