." Call this proposition

.

But the fourth of our principles, when we substitute not-

, not-

, for