sentences:  For example, the ratiocination
  
  "Nothing immortal is a man,"
  
  "Socrates is a man,"
  
  "Therefore, Socrates is not immortal"
  
  is only valid if the fourth proposition "Therefore, no man is immortal" is covertly thought.This unspoken proposition should be inserted after the first proposition and is merely its negative converse.