deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 3c914ab..5d36a93 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
In the second part I will also consider theories which do not fully model the universe and I will show that in a non-created universe we can't have a non-zero probability for a finite theory that works in a non-trivial part of a universe.  Then the first part argument has the following steps:  \begin{ennumerate} \begin{enumerate}  \item If our world is not created then either there are other worlds, or our world could have been different.  \item We will consider only worlds which are "well behaved", e.g. they can be modelled mathematically (for a reasonable definition of modelling that focuses on predictions), they can have intelligent life, there is a concept of time and so on.  \item We will consider all the possible theories that could model such worlds. Their set has the same cardinal as the real numbers.  \item For any reasonable statistical distribution, the set of finite theories has zero probability.  \item Therefore the probability of $p$ is $0$.  \end{enumerate}  The second part of the argument reuses steps 1-4 from the first part, rephrased to allow partial modelling, but also has a few extra ones.  6. In order to have intelligent beings one needs finite theories that are useful.