." It should also be observed that the traditional rules of conversion are faulty, if we adopt the view, which is the only technically tolerable one, that such propositions as "all
is
" do not involve the "existence" of
's, i.e. do not require that there should be terms which are
's. The above definitions lead to the result that, if
