Implication Details

Assumptions: normal

Conclusions: mono-regular

Reason: This is trivial.