deletions | additions       diff --git a/untitled.tex b/untitled.tex  index d851e4c..7497dcb 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\section {Modelling from inside}  Many of these possible worlds would not be able to have intelligent life inside of them, which makes them less relevant. Let us focus only on the ones which could contain intelligent beings and let us think about how the intelligent beings would model their world. Even more, let us include only worlds where there the  intelligent beings would be similar enough to us in that they can use logic and mathematics, but they wouldn't be able to process an infinite amount of that in a finite time. Let us note that in worlds with an infinite optimal set of axioms these intelligent beingsthey  will never have a complete description of how their world works, but they may be able to build better and better models. Let us assume that those intelligent beings are continuously trying to find better models for their world and that they are reasonably efficient at this.