  We present a purely planar algebraic proof of the main result of a paper of
Guionnet-Jones-Shlaykhtenko which constructs an extremal subfactor from a
subfactor planar algebra whose standard invariant is given by that planar
algebra.
