deletions | additions       diff --git a/untitled.tex b/untitled.tex  index ca95de1..c1a1333 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
Now, it could happen that for any description there is a zero-probability property which is true for that description, making it likely that we can't find anything interesting this way. Fortunately, this is not true. Indeed, a property is written using a finite alphabet and has a finite length, so there is at most a countable number of such properties. Let $Y$ be this set. Then $P(Y)$, the probability of the set of observable descriptions for which at least one proposition in $Y$ is true, is the sum of the probabilities of all elements in $Y$, so $P(Y) = 0$.  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], 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 of observable descriptions are finite. Then the \ghilimele{is finite} property 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.