Soundness: How can one decide\know if premise is true or false