The modal structuralist has solved, in part, the ontological problem. No commitment to mathematical objects or structures seems to be needed to implement the proposed translation scheme. The main concern emerges from the introduction of modal operators. But as the modal structuralist emphasizes, these operators do not presuppose a possible-worlds semantics: they are introduced as primitive terms.