This deduction then does not establish possibility according to the definition, but that it belongs necessarily to none (for this is the contradictory of the assumption which was made; for it was supposed that A necessarily belongs to some, but a deduction per impossibile establishes the contradictory assertion).