“Nonstandard analysis is a technique rather a subject. Aside from theorems that tell us that nonstandard notions are equivalent to corresponding standard notions, all the results we obtain can be proved by standard methods. Therefore, the subject can only be claimed to be of importance insofar as it leads to simpler, more accessible expositions, or (more important) to mathematical discoveries.”