SMS: Infinitesimal calculus.