deletions | additions       diff --git a/untitled.tex b/untitled.tex  index b3b70e9..418dea5 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
We will define a cognitive interpretation $C$ of the agent as a function which maps the agent's state $y$ to a belief $b \in B$, a desire $d \in D$ and a fundamental set of immutable assumptions $\phi \in \Phi$. We will require that the assumptions do not vary with the agent's state.  \[ C: Y \rightarrow (B \times D \times \Phi) \textrm{ where } \\  \forall y_1, y_2 \in Y : \big[ C(y_1) = (b_1, d_1, \phi_1) \land C(y_2) = (b_2, d_2, \phi_2) \big] \bigg]  \implies \phi_1 = \phi_2 \] We will define a model of rationality $M$ as a  
...