Nonlinear Logic view 3