, all

is

, therefore some

is

," which fails if there is no