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