deletions | additions       diff --git a/untitled.tex b/untitled.tex  index cfe59dd..109b762 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 (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.} something. Of course, these predictions do not have to be deterministic. Also, they might not be able to perceive the entire universe.  Note that the previous definition of prediction does not say that it is feasible to actually predict everything, it only means 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 system[TODO: define "mathematical prediction" or something like that and use it here, since I have two meanings of prediction]. system.  A related case is the following: It is possible that almost all macroscopic events can be predicted very precisely using quantum physics. Assuming that this is indeed the case, many of these predictions require too many computational resources, making them infeasible. I am requiring even less than this, I am allowing axiom systems where there is no way to infer a prediction from the axiom system, but if one checks all possible models of that system, the prediction turns out to be true. [TODO: put some order in this paragraph and move it where it belongs, maybe leave it here.] Also, 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.