  The paper gives the sufficient condition formulated in the syntactical form
for all codescent morphisms of a variety of universal algebras satisfying the
amalgamation property to be effective. This result is further used in proving
that all codescent morphisms of quasigroups are effective.
