deletions | additions       diff --git a/untitled.tex b/untitled.tex  index d5a6354..6ee833a 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
Let us now do the following:  \begin{itemize}   \item Restrict ourselves to universes in which we can measure things with real numbers.  \item Fix $\delta \gt 0$ and say that we care about measuring things which are larger than $\delta$ [TODO: replace epsilon with delta where needed]. This means that we can have three sizes $a$, $b$ and $c$ with $a=b$ and $b=c$ but $a\not\=c$. $a\not=c$.  This should be fine as long as we're aware that equality here actually means that the difference is smaller than $\delta$. \item Fix a time length $s$ and ignore things which happen rarely.  \end{itemize}  We could use any reasonable definition of "measuring" and "happen rarely". Then we could say that the important things are the ones which are larger than $\delta$ and which do not happen rarely. Let us also fix an arbitrary time length $t\ge 0$, an acceptable error $\epsilon \ge 0$ and a probability $q\ge 0$ for our predictions [TODO: did I define this?] and let us denote by $f$ with $0 < f \le 1$ the fraction of the world where we can make predictions using the given time length $t$, the acceptable error $\delta$, having a probability $p$ that the prediction is correct.