>Can there exist a model $M$ of $\sf ZFC$ and an external permutation $j$ on $M$ such that   $j[(V_{\alpha+1})^M]=(V_\alpha)^M$ for each infinite $\alpha$?