started proof on soundness of contextual causality

it's almost finished