Nonlinear Logic view 2