Quine's criterion of ontological commitment treats 'there exists' as a single logical operator (the ...