and A may be, it may always be truly asserted of them, that any term which had not possessed would necessarily have been other than numerically different from A: or in other words, that A would necessarily, in all conceivable circumstances, have possessed.