• An explicit Intp overview