 The “internal” logic of smooth infinitesimal analysis is accordingly not full classical logic. It is, instead, intuitionistic logic, that is, the logic derived from the constructive interpretation of mathematical assertions. In our brief sketch we did not notice this “change of logic” because, like much of elementary mathematics, the topics we discussed are naturally treated by constructive means such as direct computation.