is
"—e.g., it treats "all men are mortal" as of the same form as "Socrates is mortal." As we have just seen, the first is of the form "
always implies
," while the second is of the form "
." The emphatic separation of these two forms, which was effected by Peano and Frege, was a very vital advance in symbolic logic.