If the identity theory were correct, the predicate 'is true' and 'obtains' would be co-extensive acr...