Theorem 5.12 (Crude Monadicity Theorem). Assuming that:

• $G:D\to C$ preserves reflexive coequalisers

• $G$ has a left adjoint

• $G$ reflects isomorphisms