Finitesimal view 3