Analyzing Validity and Truth