Infinitesimal calculus 2 (Spring 2020)