Thus laws of nature are the axioms and theorems in the simplest axiomatization of all of our knowledge. And while we currently do not know everything, we can still find the simplest axiomatization for what we do know and what we expect to come to know (§16). Following Lewis (1973 [1986], §3.3), a similar view of laws has been developed and discussed as the “Best System” account of laws, which, however, does not demand that we find the simplest axiomatization of all our knowledge, but rather of as much of our knowledge as is possible while retaining a high enough level of simplicity (see also Carroll 2016, §2).