Paper
We made changes to the Embed section. Lots of little fixes and worked on the proof for the theorem (was a lemma in the last version).