Conditional Statements
When the antecedent and consequent of a conditional statement talk about the same thing, the statement can usually be translated into categorical form, the Boolean interpretation of categorical propositions provides the key: such statements are always rendered as universals.