This commonplace rule means for destructive purposes, see if the account fails to be true of that of which the name is true; and if the name fails to be true of that of which the account is true; for constructive purposes, on the other hand, see if the account too is predicated of that of which the name is predicated, and if the name too is predicated of that of which the account is predicated.