A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections