A cluster of propositions with a structure that exhibits some inference is called:
In a valid deductive argument, if the premises are true, then: