," but all the terms concerning which the supposition that they are
's is significant, i.e. all the terms that are
's, together with all the terms that are not
's—i.e. the whole of the appropriate logical "type." What applies to statements about all applies also to statements about some. "There are men," e.g., means that "
is human" is true for some values of