The mere occurrence of in (“if”) makes a conditional universally affirmative even without a quantifier.

Further Conditional Divisions, Quantification and Conditional Quantifiers