soundness: the property of arguments which are valid and have true premises.