Implication Details

Assumptions: one-way

Conclusions: core-thin

Reason: This is trivial.