Quine's criterion of ontological commitment shows we quantify over sentence types, not abstract prop...