If all humans are mortal, and Socrates is a human, what can we logically conclude?