 The side condition is that the two occurrences of ‘\(A\)’ are to be filled by occurrences of the same well-formed English declarative sentence, that the discontinuous expression ‘Either … or … ’; expresses classical non-exclusive disjunction, and that the six-word sentence-prefix ‘it is not the case that’; expresses classical negation. Notice that this schema-template is not an English sentence. It would be strictly speaking incoherent to use it as a sentence in an attempted assertion. It would also be wrong to call it true or false, though it can be characterized as valid or invalid, in appropriate senses of these ambiguous words. 