Nonlinear Logic view 1