Embezzlement, first introduced in the context of entanglement theory in quantum information theory, is the phenomenon of starting with a resource and producing a target object while leaving the resource almost untouched. In this talk, an embezzlement lemma is introduced that in some sense states that permutation matrices are dense in the space of unitary operators. Some applications of this lemme, particularly in the theory of nonlocal correlations are also discussed. This talk is based on a joint work with Marc-Olivier Renou.