Connes' Embedding Problem and Lance's WEP

A II_1 factor embeds into the ultraproduct of the hyperfinite II_1 factor if and only if it satisfies the W*-analogue of Lance’s weak expectation property. This note gives a self contained proof of this fact.