Any system unlike classical logic in that it admits contexts in which substitution of co-referring proper names, or predicates that have the same extension, or sentences that have the same truth-value, need not preserve the truth-value of sentences in which they are embedded.