Finitesimal view 1