Work on various parts of the SLQC proof.