Analysis Correlation Evaluation Interpretation Proof Reasoning Reliability