And it is obvious that the '⊃' defined by means of '∼' and 'v' is identical with the one that figures with '∼' in the definition of 'v'; and that the second 'v' is identical with the first one; and so on.