More progress in the embedding.