Why doesn't Ed Witten just try to find a theory of quantum gravity before trying to find a theory of everything?