Moreover, in establishing a case, the deduction brought forward must be universal; for the definition must be predicated of everything of which the name is, and must moreover be convertible, if the definition rendered is to be proper to the subject.