But (5) has a nice feature. It is a modalized formulation of the consequent of (Compact). And since (5) only states the possibility that there is no model of a particular kind, it may be argued that it is nominalistically acceptable. (As will be examined below, modal structuralists advance a nominalization strategy exploring modality along these lines; see Hellman (1989).) Field, however, is skeptical about this move. On his view, modality is not a general surrogate for ontology (Field 1989, pp. 252–268). And one of his worries is that by allowing the introduction of modal operators, as a general nominalization strategy, we modalize away the physical content of the theory under consideration. However, since metalogical claims are not expected to have physical consequences, the worry need not arise here. At any rate, given that (5) does not establish what needs to be established, it does not solve the problem.