help with turing's proof page hi i could use some edit help with the turing's proof page especially proof this page is meant to be interpretive synoptic i e i don't consider it original work wvbailey