Semanticaily, an expression with two gaps expresses identity the result of inserting names in the gaps is a sentence, and the sentence so formed is true if the inserted names are coextensive, otherwise false.