deletions | additions       diff --git a/untitled.tex b/untitled.tex  index aa79adc..1e54b82 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 at most the sum of the probabilities of all elements in $Y$, so $P(Y) = 0$.  We can then say that for virtually all descriptions, only properties with non-zero probability are true. Note that there are such properties, since for any zero-probability property $P$, not-$P$ has probability $1$.  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 a finite alphabet, the set of finite observable descriptions is countable. 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.