 There is no guarantee that there is a unique best deductive system. If there is none, the laws of nature are those axioms and theorems that are common to all deductive systems that tie with respect to simplicity and strength (or are at least good enough). D. Lewis thus says that