In modern logic, deriving a particular from two universals may require an existence premise.

The Third Figure: Conditions and Six Productive Moods