Soundness (Explicit)

Gingerly