Work in $ZF$. Let $j:V\to V$ be a non-trivial elementary embedding which is iterable, so that we can iterate it and form models $M_\alpha, \alpha\in ON,$ with $M_0=V,$ and elementary embeddings $j_{\alpha, \beta},$ for $\alpha\leq \beta.$ Let $M=\bigcap_\alpha M_\alpha.$ >What can we say about $M$? It seems it is not difficult to show that $M$ is also a model of $ZF$, since it suffices to show that it is closed under Godel operations. >Which large cardinals of $V$ are preserved in $M$? Of course the answer seems to be trivial for some large cardinals, in particular for those below the critical point of $j$, where their existence require information in $V_{crit()j}$ So I am particularly interested in those large cardinals whose definitions require a proper class of information, like supercompact cardinals, ... >What interesting properties $M$ can have? In particular what can we say about the relation between $V$ and $M$?