We will investigate algebraic structures created by rank-into-rank elementary embeddings. Our starting point will be R. Laver's theorem that any rank-into-rank embedding generates a free left-distributive algebra on one generator. We will consider extensions of this and related results. Our results will lead to some surprisingly coherent conjectures on the algebraic structure of rank-into-rank embeddings in general.