The modal structuralist solves partially the epistemological problem for mathematics. Assuming that the modal-structural translation scheme works for set theory, modal structuralists need not explain how we can have knowledge of the existence of mathematical objects, relations or structures—given the lack of commitment to these entities. However, they still need to explain our knowledge of the possibility of the relevant structures, since the translation scheme commits them to such possibility.