Theorem 5.11 (Precise Monadicity Theorem). A functor $G:D\to C$ is monadic if and only if $G$ has a left adjoint and creates coequaliser of $G$-split pairs in $D$.