Proper handling of embeddeds-of-embeddeds