A structure of a valid argument, that is one

whose conclusion is true
if all of its premises are true.