Reasoning Soundness