Yet more work on the SLQC proof.