Quine's canonical criterion of ontological commitment identifies what exists with what the bound var...