for Socrates, where

and

are any classes whatever, and

is any individual. We then arrive at the statement: "No matter what possible values

and