deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 33dd686..85db7b6 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\end{enumerate}  \item For any sentence $S$ which is true in a countable set of universe descriptions and any probability distribution which is not heavily biased (i.e. any continous probability distribution) the probability of $S$ is zero.  \begin{enumerate}  \item Given such a probability distribution over $T$, $\cal T$,  let $\cal T_0$ be the set of all descriptions in $\cal T$ in which there a true sentence $S$ of probability zero. Then the probability of $\cal T_0$ is zero. Note that the sentence is not of the type mentioned above. \item There set of finite descriptions is countable, so the property "Has a finite description" has a probability 0 in $T$. [TODO: This construction should also work when the descriptions are not disjoint, but they allow full predictions of events in their universes].  \end{enumerate}  \item An intelligent being inside an universe $U$ with an infinite description $D$ in $\cal T$, trying to find a description of $U$ can notice that the universe description becomes more and more complex with each observation, making an infinite description likely.  [TODO: This in unnatural. As defined here, the universe description becomes more complex only inside $\cal T$. The universe description must allow full predictions.]  \end{enumerate}  znzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz