infinitesimal view 1