  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.
