 In the Sophist, Plato introduces a procedure of “Division” as a method for discovering definitions. To find a definition of \(X\), first locate the largest kind of thing under which \(X\) falls; then, divide that kind into two parts, and decide which of the two \(X\) falls into. Repeat this method with the part until \(X\) has been fully located.