Implication Details

Assumptions: thin

Conclusions: one-way

Reason: This is trivial.