Assumptions: epi-regular
Conclusions: balanced
This implication has been dualized from this implication.