NONLINEAR REASONING