  One can continue in this vein, demanding greater agreement between M and V.  The ultimate axiom in this direction would, of course, demand that M = V.  This axiom was proposed by Reinhardt and shortly thereafter shown to be inconsistent (in ZFC) by Kunen.  In fact, Kunen showed that, assuming ZFC, there can be a transitive class M and a non-trivial elementary embedding j: V → M such that j ‘‘ λ ∈ M, where   λ=supn &lt; ω j n(κ) and κ=crit(j).  In particular, there cannot exists such an M and j such that Vλ+1⊆ M.  This placed a limit on the amount of closure of the target model (in relation to the embedding).[10] 