What argument is based on facts that can be proven true and contains a conclusion that must be true if the premises are true?