In the proposition All hu mans are mortal there lie already the propositions Some humans are mortal, Someb mortal beings are human beings, Nothing immor tal is a human being, and these propositions are thus immediate con clusions from the first one.