Here we have an attempt to settle the validity of 'correspondence theory' within scientific domains. The discussion attempts to tease out the links between referring expressions and 'the real world' so that the axioms of science can be said to have a bearing on reality. There is more to it than that, but the existence of the real world is naively at stake in discussions of this sort.