deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 4ff4ebd..cd9fd04 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
First, let us note that having intelligent beings in an universe likely means that their intelligence is needed to allow them to live in that universe, which likely means that they can have a partial model of the universe. That model does not have to be precise, e.g. it could be made of simple rules like \ghilimele{If I pick fruits then I can eat them. If I eat them then I live}, and it can cover only a small part of their world, but it should predict\footnote{This is the only place where predict means that the beings can actually say something about the future instead of a theoretical way of making predictions. Everywhere else we're using the previous definition of prediction which only requires that prediction is possible for a being which can take full snapshots of the universe and can go through all the possible models of an axiom set.} something. Of course, these predictions do not have to be deterministic. Also, they might not be able to perceive the entire universe.  Also, a A  mathematical model for a universe needs a set of measuring units. For each of the universes containing intelligent beings, let us take a fixed set of measuring units covering everything that those beings would measure. As an example, when measuring distance in our space we could use meters, light seconds or various other measuring units. The measuring unit is not important as long as we pick something. We can define the \definitie{fraction of the world} that is modelled by an axiom set in at least three ways:  \begin{enumerate}