Finite Left-Distributive Algebras and Embedding Algebras