 In general, Aristotle regards deductive arguments as a set of propositions in which some sentences are premises and one is the conclusion, and the inference from the premises to the conclusion is guaranteed by the premises alone. Since enthymemes in the proper sense are expected to be deductive arguments, the minimal requirement for the formulation of enthymemes is that they have to display the premise-conclusion structure of deductive arguments. This is why enthymemes have to include a statement as well as a kind of reason for the given statement. Typically this reason is given in a conditional ‘if’-clause or a causal ‘since’- or ‘for’-clause. Examples of the former, conditional type are: “If not even the gods know everything, human beings can hardly do so.” “If the war is the cause of present evils, things should be set right by making peace.” Examples of the latter, causal type are: “One should not be educated, for one ought not be envied (and educated people are usually envied).” “She has given birth, for she has milk.” Aristotle stresses that the proposition “There is no man among us who is free” taken by itself is a maxim, but becomes an enthymeme as soon as it is used together with a reason such as “for all are slaves of money or of chance (and no slave of money or chance is free).” Sometimes the required reason may even be implicit, as e.g. in the proposition “As a mortal, do not cherish immortal anger” the reason why one should not cherish mortal anger is implicitly given in the term “immortal,” which alludes to the rule that it is not appropriate for mortal beings to have such an attitude.