   Intensionality (with an s) is non-extensionality. Two features are characteristic of extensionality. First, if a linguistic context is extensional, two coreferential terms can be substituted one for the other salva veritate as illustrated by (16) and (17):