>>3,5,7
I reread the article. My claim about the end of practice as was mentioned cannot be derived from the text. I think my argument against the use of computers is in fact inline with text however; even the natural conclusion. A sort of freeing of Geometry from straight edge and compass. The idea that the correctness of algorithms should be proved is also not antithetical to his ideas, although they are not implicit in them either.