Ed Witten sits here, pondering string theory.