A further objection to the identity theory, going back to an observation of Strawson’s, takes its cue from the point that canonical names of propositions and of facts are often not straightforwardly congruent with one another: they are often not intersubstitutable salva congruitate (or, if they are, they may not be intersubstitutable salva veritate) (Strawson 1971: 196; cf. Künne 2003: 10–12). For example, we say that propositions are true, not that they obtain, whereas we say that facts obtain,