Nonlinear Explicit Analysis