Refutation soundness proof (draft).