A little more of the SLQC proof.