Figure immersion and embedding with their def.
Finished submanifolds