A little rewording
Merge branch 'master' into soda-submission
small changes

With the new result, the bounds are tight not only for constant k.
Rewording
Merge branch 'master' of github.com:lfbarba/Compatible-Embeddings
Merge branch 'master' into soda-submission