These are my lecture notes on proving completeness for LJ