Initial self-embeddings of models of set theory - Ali Enayat; Zachiri McKenzie (2019)