Implication Details

Assumptions: effective congruences, regular

Conclusions: quotients of congruences

Reason: We assume that every congruence is effective, and the regularity condition implies that every effective congruence has a quotient.