reformulated soundness argument