completed soundness proof for contextual causality