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.