deletions | additions       diff --git a/untitled.tex b/untitled.tex  index edff3f3..353a525 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
We can then say that for virtually all descriptions [TODO: Make sure I want descriptions here and not optimal axiom sets or something. Probably I want descriptions], only properties with non-zero probability are true. This means that, if the probability of our world being designed is non-zero, the only rational choices are that either our world is designed or only non-zero probability properties are true.  Now, let us return to the issue of observable descriptions being finite or infinite. With an finite alphabet, only a countable set ofmodels have a finite  observable description. descriptions are finite.  Then the \ghilimele{has a finite description} \ghilimele{is finite}  property[TODO: is it a property of the description or of the universe? Does that match what I said above about only inferring things about descriptions? Ah, it's a property of an axiom set, I think.]  is a zero-probability one, so either our universe is designed, or at any point in time there will be an important part of our universe that we can observe but can't model no matter how hard we try. \section{Approximations}