Implicit and Explicit Analysis