Comment by aftbit

It seems intuitively wrong that you can say "All X are Y" and yet that doesn't imply "At least one X exists".