Text this: Semantics and necessary truth :