  In the physical case the non-instrumentalist sees theoretical reason at play at a much higher-level, far beyond the data. For example, in the time of Copernicus, when the Ptolemaic and Copernican theory were observationally indistinguishable, theoretical reasons could still be given for the Copernican theory over the Ptolemaic  theory.[15]  Similarly in the set theoretic case the non-pluralist sees theoretical reason at play at higher level, beyond the theorems and the intrinsically plausible statements. Just as in astronomy the non-instrumentalist finds evidence of a higher-level structure in the constellation of connections, likewise in the case of set theory the non-pluralist takes the constellation of connections in the interpretability hierarchy—in particular, the above theorems concerning ADL(ℝ)—as providing evidence of structure of a higher level. There is, of course, much more to be said. But we hope to have brought the issues to the fore. 