Philosophy of science proper has been a battleground in which a key battle in the philosophy of mathematics is fought. On the one hand, indispensability arguments capitalise on the strengths of scientific realism, and in particular of the no-miracles argument (NMA), in order to suggest that a) the reality of mathematical entities (in their full abstractness) follows from the truth of (literally understood) scientific theories; and b) there are good reasons to take certain theories to be true. 1