Quine's criterion of ontological commitment requires that FOL= identity statements quantify over det...