More plugging away on SLQC proof.