Assessing Soundness of Reasoning