More pluggin' away on the SLQC proof.