SMS: Infinitesimal calculus /