Naïve infinitesimal analysis.