An attempt to make am accessible account on acyclic model theorem.