The methods of establishing and overthrowing a view universally are common to both kinds of problems; for when we have proved that a predicate belongs in every case, we shall also have proved that it belongs in some cases.