Implicit and explicit analysis