Quine argued that ontological reduction via proxy functions shows interpretability preserves structu...