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