ie by claiming that since it is false that may belong to no, it is true that it cannot belong to no A (for the one statement is the contradictory of the other); but if this is so, it is true that necessarily belongs to some A; and consequently A necessarily belongs to some